|
|
|
|
LEADER |
01081cam a2200253 a 4500 |
001 |
1/40086 |
008 |
100618s2001 ne 001 0 eng |
020 |
|
|
|a 9780444508133
|
020 |
|
|
|a 0444508139
|
035 |
|
|
|l 42828
|
040 |
|
|
|a OPELS
|b eng
|c OPELS
|d OCLCG
|d OCLCQ
|d OCLCA
|d AU@
|d OCLCO
|d OCLCF
|d GR-PeUP
|
245 |
0 |
0 |
|a Handbook of automated reasoning
|h [electronic resource] /
|c editors, Alan Robinson and Andrei Voronkov.
|
260 |
|
|
|a Amsterdam ;
|a New York :
|b Elsevier ;
|a Cambridge, Mass. :
|b MIT Press,
|c c2001.
|
300 |
|
|
|a 1 online resource (2 v. (xxv, 2122 p.)) :
|b ill.
|
504 |
|
|
|a Includes bibliographical references and index.
|
650 |
|
4 |
|a Automatic theorem proving.
|
650 |
|
4 |
|a Qualitative reasoning.
|
655 |
|
4 |
|a Electronic books.
|
700 |
1 |
|
|a Robinson, J. A.
|q (John Alan)
|
700 |
1 |
|
|a Voronkov, Andrei,
|d 1959-
|
852 |
|
|
|a INST
|b UNIPILB
|c EBOOKS
|e 20100618
|p 00b42828
|q 00b42828
|t ONLINE
|y 0
|
856 |
4 |
0 |
|3 ScienceDirect
|u http://www.sciencedirect.com/science/book/9780444508133
|
856 |
4 |
|
|d /webopac/covers/02/42828_9780444508133.jpg
|
856 |
4 |
|
|d /webopac/covers/02/42828_0444508139.jpg
|