Shelfclass_id | 4.B.3 |
Sortkey | SIEKMANN, JÖRG H |
Authors | Jörg H. Siekmann, Graham Wrightson |
Title | Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 |
Publisher | Springer-Verlag |
Year | 1983 |
Languages | eng |
Isbn | 0387120440 |
Series | Symbolic computation |
Description | (U.S.: v. 2) 2 v. ill. 25 cm |
Record date | 20060824 |
Location | New York |
Keywords | Automatic theorem proving |
Notes | Jorg Siekmann |