LEADER 00000cam a2200517 a 4500 
001    824488329 
003    OCoLC 
005    20240129213017.0 
006    m     o  d         
007    cr unu|||||||| 
008    130116s2001    ne a    obf   001 0 eng d 
020    9780080532790 
020    0080532799 
020    0444508139 
020    9780444508133 
029 1  AU@|b000050591019 
029 1  DEBBG|bBV041119722 
029 1  DEBSZ|b396676057 
029 1  GBVCP|b785365397 
035    (OCoLC)824488329 
037    CL0500000190|bSafari Books Online 
040    UMI|beng|epn|cUMI|dUMI|dOCLCA|dDEBSZ|dOCLCQ|dOCLCF|dOCLCQ
       |dCEF|dOCLCQ|dAU@|dOCLCO|dOCLCQ|dOCLCO|dOCLCL|dOCLCQ 
049    INap 
082 04 511.3 
082 04 511.3|222 
099    eBook O’Reilly for Public Libraries 
245 00 Handbook of automated reasoning.|nVolume II /|ceditors, 
       Alan Robinson and Andrei Voronkov.|h[O'Reilly electronic 
       resource] 
260    Amsterdam ;|aNew York :|bElsevier ;|aCambridge, Mass. :
       |bMIT Press,|c©2001. 
300    1 online resource (xxv, 963-2122 pages) :|billustrations 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
504    Includes bibliographical references and index. 
588 0  Print version record. 
590    O'Reilly|bO'Reilly Online Learning: Academic/Public 
       Library Edition 
650  0 Automatic theorem proving|vHandbooks, manuals, etc. 
650  0 Qualitative reasoning|vHandbooks, manuals, etc. 
650  6 Théorèmes|xDémonstration automatique|vGuides, manuels, 
       etc. 
650  6 Raisonnement qualitatif|vGuides, manuels, etc. 
650  7 Automatic theorem proving|2fast 
650  7 Qualitative reasoning|2fast 
655  7 Handbooks and manuals|2fast 
700 1  Robinson, J. A.|q(John Alan)|1https://id.oclc.org/worldcat
       /entity/E39PBJrwR6qMkrwtgKVPXr7JXd 
700 1  Voronkov, Andrei,|d1959-|1https://id.oclc.org/worldcat/
       entity/E39PBJcgthTcG6JvmR8d8V6xjC 
776 08 |iPrint version:|tHandbook of automated reasoning.
       |dAmsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT
       Press, ©2001|z0262182211|w(DLC)  2001090839
       |w(OCoLC)46810804 
856 40 |uhttps://ezproxy.naperville-lib.org/login?url=https://
       learning.oreilly.com/library/view/~/9780444508133/?ar
       |zAvilable on O'Reilly for Public Libraries 
994    92|bJFN