Normal view MARC view ISBD view

Handbook of automated reasoning, Volume 1

Material type: materialTypeLabel

BookPublisher: Cambridge: The MIT Press, 2001Description: 970 p.; Index.: 24 cm.ISBN: 0444829490 .Subject(s): Automated reasoning | Automatic theorem proving | Handbook | Qualitative reasoning | ReasoningDDC classification: 511.3

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		511.3 ROB (Browse shelf)	Available		006760

Previous								Next
Previous	511.3 RAO Discrete Mathematical Structures	511.3 RAU Concise Introduction to Mathematical Logic	511.3 RAU Concise introduction to mathematical logic	511.3 ROB Handbook of automated reasoning, Volume 1	511.3 ROD JFLAP : an interactive formal languages and automata package	511.3 ROT Journey into mathematics: An introduction to proofs	511.3 SAC Mathematical logic in the twentieth century	Next

There are no comments for this item.

Koha online