Shelfclass_id | 4.B.3 |
Sortkey | LEITSCH, ALEXANDER |
Authors | Alexander Leitsch |
Title | The Resolution Calculus |
Publisher | Springer-Verlag |
Year | c1997 |
Languages | eng |
Isbn | 3540618821 |
Series | Texts in theoretical computer science |
Description | (Berlin: acid-free paper) viii, 300 p. ill. 24 cm |
Record date | 20060713 |
Location | New York |
Keywords | Automatic theorem proving |