Handbook of automated reasoning
Saved in:
Other Authors: | , |
---|---|
Format: | Unknown |
Published: |
Amsterdam New York Cambridge, Mass.
Elsevier MIT Press
2001
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-306478 | ||
020 | # | # | |a 0262182211 (MIT Press, v. 1 : alk. paper) |
020 | # | # | |a 026218222X (MIT Press, v. 2 : alk. paper) |
020 | # | # | |a 0262182238 (MIT Press, set of vol 1 + 2 : alk. paper) |
020 | # | # | |a 0444829490 (Elsevier Science, v. 1 : alk. paper |
020 | # | # | |a 0444508120 (Elsevier Science, v. 2 : alk. paper) |
020 | # | # | |a 0444508139 (Elsevier Science, set of v. 1 + 2 : alk. paper) |
090 | 0 | 0 | |a QA76.9.A96 |b H35 2001 |
245 | 0 | 0 | |a Handbook of automated reasoning |c editors, Alan Robinson and Andrei Voronkov |
260 | # | # | |a Amsterdam |a New York |a Cambridge, Mass. |b Elsevier |b MIT Press |c 2001 |
300 | # | # | |a 2 v. (2122 p.) |b ill. |c 25 cm |
504 | # | # | |a Includes bibliographical references and index |
650 | # | 0 | |a Qualitative reasoning |
650 | # | 0 | |a Automatic theorem proving |
700 | 1 | # | |a Robinson, J. A. |q (John Alan) |
700 | # | # | |a Voronkov, A. |c 1959- |q (Andre?i) |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=306478 |
964 | # | # | |c BOK |d 01 |
040 | # | # | |a Shah Alam |
998 | # | # | |a 00260##a002.8.2||00260##a002.8.2||00260##a002.8.2||00260##b002.8.4||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1||01700##a0011.2.2||01700##c0017.8||01700##q0017.8|| |