Material Type | Books |
---|---|
Publisher | London : Pitman |
Year | 1987 |
Language | English |
Size | 160 p. ; 25 cm |
Location | Volume | Call No. | Barcode No. | Status | ISBN | Media type | Restriction | Request Memo | Reserve |
---|---|---|---|---|---|---|---|---|---|
1F書庫3-洋書 | : Pitman | 007.1/W 37 | 002062737 | 0273087185 | 図書 |
|
![]() |
![]() |
Notes | Bibliography: p. 154-160 |
---|---|
Authors | *Walther, Christoph |
Subjects | LCSH:Automatic theorem proving LCSH:Artificial intelligence |
Classification | LCC:QA76.9.A96 DC19:511.3 |
ID | 1000033925 |
ISBN | 0273087185 |
Library Service