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

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#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-03-10" ;
   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.