skip to content
Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703 Preview this item
ClosePreview this item
Checking...

Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703

Author: John McCarthy; Zohar Manna; United States. National Aeronautics and Space Administration.
Publisher: [Washington, DC] : [National Aeronautics and Space Administration] ; [Springfield, Va.] : [National Technical Information Service, distributor], [1994]
Series: NASA contractor report, NASA CR-197528.
Edition/Format:   Book   Microform : National government publication : Microfiche : English
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Government publication, National government publication
Document Type: Book
All Authors / Contributors: John McCarthy; Zohar Manna; United States. National Aeronautics and Space Administration.
OCLC Number: 32834834
Notes: Distributed to depository libraries in microfiche.
Shipping list no.: 95-0297-M.
Reproduction Notes: Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1995]. 1 microfiche.
Description: 1 volume.
Series Title: NASA contractor report, NASA CR-197528.
Responsibility: principal investigators, John McCarthy, Zohar Manna [and others].

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/32834834> # Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703
    a bgn:Microform, schema:Book, schema:CreativeWork ;
    library:oclcnum "32834834" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/37115620#Place/washington_dc> ; # Washington, DC
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/37115620#Place/springfield_va> ; # Springfield, Va.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/dcu> ;
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/37115620#Topic/cognition> ; # Cognition
    schema:about <http://experiment.worldcat.org/entity/work/data/37115620#Topic/semantics> ; # Semantics
    schema:about <http://id.loc.gov/authorities/subjects/sh85042293> ; # Electronic data processing--Distributed processing
    schema:about <http://experiment.worldcat.org/entity/work/data/37115620#Topic/human_computer_interface> ; # Human-computer interface
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/37115620#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/37115620#Topic/distributed_processing> ; # Distributed processing
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/37115620#Topic/complex_systems> ; # Complex systems
    schema:about <http://id.worldcat.org/fast/872026> ; # Computer architecture
    schema:about <http://experiment.worldcat.org/entity/work/data/37115620#Topic/architecture_computers> ; # Architecture (Computers)
    schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
    schema:about <http://experiment.worldcat.org/entity/work/data/37115620#Topic/information_transfer> ; # Information transfer
    schema:about <http://experiment.worldcat.org/entity/work/data/37115620#Topic/software_tools> ; # Software tools
    schema:contributor <http://viaf.org/viaf/146202023> ; # United States. National Aeronautics and Space Administration.
    schema:contributor <http://viaf.org/viaf/10025002> ; # John McCarthy
    schema:contributor <http://viaf.org/viaf/91223528> ; # Zohar Manna
    schema:datePublished "1994" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/37115620> ;
    schema:genre "Government publication"@en ;
    schema:genre "National government publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/37115620#Series/nasa_contractor_report> ; # NASA contractor report ;
    schema:name "Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703"@en ;
    schema:productID "32834834" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/32834834#PublicationEvent/washington_dc_national_aeronautics_and_space_administration_springfield_va_national_technical_information_service_distributor_1994> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/37115620#Agent/national_aeronautics_and_space_administration> ; # [National Aeronautics and Space Administration]
    schema:publisher <http://experiment.worldcat.org/entity/work/data/37115620#Agent/national_technical_information_service_distributor> ; # [National Technical Information Service, distributor]
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/32834834> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/37115620#Agent/national_aeronautics_and_space_administration> # [National Aeronautics and Space Administration]
    a bgn:Agent ;
    schema:name "[National Aeronautics and Space Administration]" ;
    .

<http://experiment.worldcat.org/entity/work/data/37115620#Agent/national_technical_information_service_distributor> # [National Technical Information Service, distributor]
    a bgn:Agent ;
    schema:name "[National Technical Information Service, distributor]" ;
    .

<http://experiment.worldcat.org/entity/work/data/37115620#Place/springfield_va> # Springfield, Va.
    a schema:Place ;
    schema:name "Springfield, Va." ;
    .

<http://experiment.worldcat.org/entity/work/data/37115620#Place/washington_dc> # Washington, DC
    a schema:Place ;
    schema:name "Washington, DC" ;
    .

<http://experiment.worldcat.org/entity/work/data/37115620#Series/nasa_contractor_report> # NASA contractor report ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/32834834> ; # Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703
    schema:name "NASA contractor report ;" ;
    schema:name "[NASA contractor report] ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/37115620#Topic/architecture_computers> # Architecture (Computers)
    a schema:Intangible ;
    schema:name "Architecture (Computers)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/37115620#Topic/distributed_processing> # Distributed processing
    a schema:Intangible ;
    schema:name "Distributed processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/37115620#Topic/human_computer_interface> # Human-computer interface
    a schema:Intangible ;
    schema:name "Human-computer interface"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/37115620#Topic/information_transfer> # Information transfer
    a schema:Intangible ;
    schema:name "Information transfer"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/37115620#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042293> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872026> # Computer architecture
    a schema:Intangible ;
    schema:name "Computer architecture"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
    schema:name "Computer software"@en ;
    .

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://viaf.org/viaf/10025002> # John McCarthy
    a schema:Person ;
    schema:birthDate "1927" ;
    schema:deathDate "2011" ;
    schema:familyName "McCarthy" ;
    schema:givenName "John" ;
    schema:name "John McCarthy" ;
    .

<http://viaf.org/viaf/146202023> # United States. National Aeronautics and Space Administration.
    a schema:Organization ;
    schema:name "United States. National Aeronautics and Space Administration." ;
    .

<http://viaf.org/viaf/91223528> # Zohar Manna
    a schema:Person ;
    schema:familyName "Manna" ;
    schema:givenName "Zohar" ;
    schema:name "Zohar Manna" ;
    .

<http://www.worldcat.org/title/-/oclc/32834834>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/32834834> ; # Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703
    schema:dateModified "2018-09-07" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/32834834#PublicationEvent/washington_dc_national_aeronautics_and_space_administration_springfield_va_national_technical_information_service_distributor_1994>
    a schema:PublicationEvent ;
    schema:location <http://experiment.worldcat.org/entity/work/data/37115620#Place/springfield_va> ; # Springfield, Va.
    schema:location <http://experiment.worldcat.org/entity/work/data/37115620#Place/washington_dc> ; # Washington, DC
    schema:organizer <http://experiment.worldcat.org/entity/work/data/37115620#Agent/national_technical_information_service_distributor> ; # [National Technical Information Service, distributor]
    schema:organizer <http://experiment.worldcat.org/entity/work/data/37115620#Agent/national_aeronautics_and_space_administration> ; # [National Aeronautics and Space Administration]
    schema:startDate "1994" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.