skip to content
A model-driven geometry theorem prover Preview this item
ClosePreview this item
Checking...

A model-driven geometry theorem prover

Author: Shimon Ullman
Publisher: Cambridge : Massachusetts Institute of Technology, Artificial Intelligence Laboratory, 1975.
Series: Massachusetts Institute of Technology.; Artificial Intelligence Laboratory.; Artificial intelligence memo
Edition/Format:   Print book : National government publication : EnglishView all editions and formats
Database:WorldCat
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: Shimon Ullman
OCLC Number: 3146686
Notes: Cover title.
Prepared under Office of Naval Research Contract N00014-75-C-0643.
Description: 56 pages : illustrations ; 28 cm.
Series Title: Massachusetts Institute of Technology.; Artificial Intelligence Laboratory.; Artificial intelligence memo
Responsibility: Shimon Ullman.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/3146686> # A model-driven geometry theorem prover
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "3146686" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/137136434#Place/cambridge> ; # Cambridge
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/93693182> ; # Shimon Ullman
    schema:datePublished "1975" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/137136434> ;
    schema:genre "Government publication"@en ;
    schema:genre "National government publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/137136434#Series/artificial_intelligence_memo> ; # Artificial intelligence memo ;
    schema:name "A model-driven geometry theorem prover"@en ;
    schema:productID "3146686" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/3146686#PublicationEvent/cambridge_massachusetts_institute_of_technology_artificial_intelligence_laboratory_1975> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/137136434#Agent/massachusetts_institute_of_technology_artificial_intelligence_laboratory> ; # Massachusetts Institute of Technology, Artificial Intelligence Laboratory
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/3146686> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/137136434#Agent/massachusetts_institute_of_technology_artificial_intelligence_laboratory> # Massachusetts Institute of Technology, Artificial Intelligence Laboratory
    a bgn:Agent ;
    schema:name "Massachusetts Institute of Technology, Artificial Intelligence Laboratory" ;
    .

<http://experiment.worldcat.org/entity/work/data/137136434#Organization/massachusetts_institute_of_technology_artificial_intelligence_laboratory> # Massachusetts Institute of Technology. Artificial Intelligence Laboratory.
    a schema:Organization ;
    schema:name "Massachusetts Institute of Technology. Artificial Intelligence Laboratory." ;
    .

<http://experiment.worldcat.org/entity/work/data/137136434#Series/artificial_intelligence_memo> # Artificial intelligence memo ;
    a bgn:PublicationSeries ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/137136434#Organization/massachusetts_institute_of_technology_artificial_intelligence_laboratory> ; # Massachusetts Institute of Technology. Artificial Intelligence Laboratory.
    schema:hasPart <http://www.worldcat.org/oclc/3146686> ; # A model-driven geometry theorem prover
    schema:name "Artificial intelligence memo ;" ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://viaf.org/viaf/93693182> # Shimon Ullman
    a schema:Person ;
    schema:familyName "Ullman" ;
    schema:givenName "Shimon" ;
    schema:name "Shimon Ullman" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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