|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000017254 |
| 005 |
20220320093000.0 |
| 020 |
|
|
|a 013054552X
|
| 090 |
0 |
0 |
|a QA76.9.A96
|b W67 1988
|
| 100 |
0 |
|
|a Wos, Larry ,
|e author
|
| 245 |
0 |
0 |
|a Automated reasoning :
|b 33 basic research problems
|
| 260 |
2 |
|
|a Englewood Cliffs, NJ :
|b Prentice-Hall ,
|c c1988
|
| 300 |
|
|
|a 319 p. ; ;
|c 23 cm.
|
| 500 |
|
|
|a Companion vol. to:
|b automated reasoning:
|b introduction and application /
|c Larry Wos ... [et. al.]
|c c1984
|
| 500 |
|
|
|a Includes index
|
| 504 |
|
|
|a Bibliography: p. 273
|
| 650 |
|
0 |
|a Artificial intelligence
|
| 650 |
|
0 |
|a Automated theorem proving
|
| 650 |
|
0 |
|a Electronic digital computers
|x Programming
|
| 745 |
0 |
0 |
|a Automated reasoning
|
| 999 |
|
|
|a 1000031697
|b Book
|c Close Access
|e Tembila Campus
|