Automated theorem proving : theory and practice / Monty Newborn

By:

Newborn, Monroe [aut]

Contributor(s):

Newborn, Monty [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: New York ; Heidelberg [u.a.] : Springer, 2001Description: XIII, 231 S. : Ill., graph. Darst. ; 24 cm + 1 CD-ROM (12 cm)ISBN:

0387950753

Subject(s):

DDC classification:

004.015113
004/.01/5113

MSC: MSC: *68T15 | 68-01RVK: RVK: ST 285 | ST 304LOC classification:

QA76.9.A96
QA76.9.A96N49 2000

Action note:

PPN: PPN: 316121215

Holdings ( 1 )
Title notes ( 2 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Informatik	D.New	Bibliothek / frei aufgestellt	D.New(34030)	Available	000389563090

Total holds: 0

Systemvorraussetzungen: IBM; UNIX (Linux, Solaris, FreeBSD, and AIX)

Archivierung prüfen 20200919 DE-640 3 pdager

Place hold
Print
Cite
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 ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)