A fascinating country in the world of computing:your guide to automated reasoning
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
World Scientific,
|
Publisher Address: | Singapore |
Publication Dates: | c1999. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | xx, 587 p.: ill. ; 23 cm. +1 computer optical disc (4 3/4 in.) |
ISBN: | 9810239106 |
Index Number: | TP181 |
CLC: |
TP181-62 TP301.6-62 |
Call Number: | TP181-62/W935 |
Contents: | Includes bibliographical references (p. 561-569) and index. |