|
|
|
|
LEADER |
00968nam a2200253 a 4500 |
001 |
1566878 |
005 |
20171111233653.0 |
008 |
930824s1992 cy da er 000 u eng d |
020 |
|
|
|a 007911251X:
|c $49.95
|
040 |
|
|
|a CY
|b University of Cyprus
|e AACR-2
|
050 |
|
|
|a QA76.9.A96A93 1992
|
100 |
1 |
|
|a Wos, Larry
|
245 |
1 |
0 |
|a Automated reasoning:
|b introduction and applications/
|c Larry Wos ... [et al.]
|
250 |
|
|
|a 2nd ed.
|
260 |
|
|
|a New York:
|b McGraw-Hill,
|c c1992
|
300 |
|
|
|a xvi, 656 p. ;
|c 24 cm. +
|e 1 computer disk (5 1/4 in.)
|
500 |
|
|
|a System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.
|
504 |
|
|
|a Includes bibliographical references and index.
|
650 |
|
0 |
|a Artificial intelligence
|
650 |
|
0 |
|a Automatic theorem proving
|
650 |
|
0 |
|a Electronic digital computers
|x Programming
|
700 |
1 |
|
|a Lusk, Ewing
|
700 |
1 |
|
|a Boyle, Jim
|
952 |
|
|
|a CY-NiOUC
|b 5a0433fc6c5ad14ac1e91e98
|c 998a
|d 945l
|e QA76.9.A96A93 1992
|t 2
|x m
|z Books
|