Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Using sophisticated models in resolution theorem proving

By:

Sandford, David M

Material type: Text

Text

TextSeries: Lecture notes in computer science, no.90Publication details: Berlin Springer-Verlag 1980 Description: xi, 239 pISBN:

3540102310

Subject(s):

DDC classification:

519.92

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Item location	Call number	Status	Date due	Barcode
Books	Vikram Sarabhai Library	KLMDC	519.92 S2U8 (Browse shelf(Opens below))	Available		96929

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)

Share