Handbook of automated reasoning. Volume II /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Robinson, J. A. (John Alan), Voronkov, Andrei, 1959-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, ©2001.
Temas:
Automatic theorem proving > Handbooks, manuals, etc.
Qualitative reasoning > Handbooks, manuals, etc.
Théorèmes > Démonstration automatique > Guides, manuels, etc.
Raisonnement qualitatif > Guides, manuels, etc.
Automatic theorem proving
Qualitative reasoning
Handbooks and manuals
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)

MARC

LEADER 00000cam a2200000Ia 4500
001 OR_ocn824488329
003 OCoLC
005 20231017213018.0
006 m o d
007 cr unu||||||||
008 130116s2001 ne a obf 001 0 eng d
040 |a UMI  |b eng  |e pn  |c UMI  |d UMI  |d OCLCA  |d DEBSZ  |d OCLCQ  |d OCLCF  |d OCLCQ  |d CEF  |d OCLCQ  |d AU@  |d OCLCO  |d OCLCQ  |d OCLCO 
020 |a 9780080532790 
020 |a 0080532799 
020 |a 0444508139 
020 |a 9780444508133 
020 |z 9780444508133 
029 1 |a AU@  |b 000050591019 
029 1 |a DEBBG  |b BV041119722 
029 1 |a DEBSZ  |b 396676057 
029 1 |a GBVCP  |b 785365397 
035 |a (OCoLC)824488329 
037 |a CL0500000190  |b Safari Books Online 
050 4 |a QA76.9.A96  |b H35 2001 
082 0 4 |a 511.3  |2 22 
049 |a UAMI 
245 0 0 |a Handbook of automated reasoning.  |n Volume II /  |c editors, Alan Robinson and Andrei Voronkov. 
260 |a Amsterdam ;  |a New York :  |b Elsevier ;  |a Cambridge, Mass. :  |b MIT Press,  |c ©2001. 
300 |a 1 online resource (xxv, 963-2122 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
588 0 |a Print version record. 
504 |a Includes bibliographical references and index. 
590 |a O'Reilly  |b O'Reilly Online Learning: Academic/Public Library Edition 
650 0 |a Automatic theorem proving  |v Handbooks, manuals, etc. 
650 0 |a Qualitative reasoning  |v Handbooks, manuals, etc. 
650 6 |a Théorèmes  |x Démonstration automatique  |v Guides, manuels, etc. 
650 6 |a Raisonnement qualitatif  |v Guides, manuels, etc. 
650 7 |a Automatic theorem proving  |2 fast 
650 7 |a Qualitative reasoning  |2 fast 
655 7 |a Handbooks and manuals  |2 fast 
700 1 |a Robinson, J. A.  |q (John Alan) 
700 1 |a Voronkov, Andrei,  |d 1959- 
776 0 8 |i Print version:  |t Handbook of automated reasoning.  |d Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, ©2001  |z 0262182211  |w (DLC) 2001090839  |w (OCoLC)46810804 
856 4 0 |u https://learning.oreilly.com/library/view/~/9780444508133/?ar  |z Texto completo (Requiere registro previo con correo institucional) 
994 |a 92  |b IZTAP 

Ejemplares similares