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:   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 p. : ill. ; 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


<http://www.worldcat.org/oclc/3146686>
library:oclcnum"3146686"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/3146686>
rdf:typeschema:Book
schema:about
schema:about
<http://id.worldcat.org/fast/822777>
rdf:typeschema:Intangible
schema:name"Automatic theorem proving"@en
schema:name"Automatic theorem proving."@en
schema:creator
schema:datePublished"1975"
schema:exampleOfWork<http://worldcat.org/entity/work/id/137136434>
schema:inLanguage"en"
schema:name"A model-driven geometry theorem prover"@en
schema:numberOfPages"56"
schema:publisher
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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