Shelfclass_id | 4.B.3 |
Sortkey | HAYASHI, SUSUMU |
Authors | Susumu Hayashi, Hiroshi Nakano |
Title | PX: A Computational Logic |
Publisher | MIT Press |
Year | c1988 |
Languages | eng |
Isbn | 0262081741 |
Series | Foundations of computing |
Description | xiv, 200 p. 24 cm |
Record date | 20060713 |
Location | Cambridge, Mass. |
Keywords | Automatic theorem proving, Logic, Symbolic and mathematical |
Notes | Includes index |