Automated Reasoning
by Larry Wos, Ewing Lusk, Ross Overbeek Paperback 1984
- Author: Larry Wos, Ewing Lusk, Ross Overbeek
- ISBN 13: 0130544469
- ISBN 10: 0130544469
- Publisher: Prentice-Hall
- Publication Year: 1984
- Language: english
Specifications
| Index-10 | 0130544469 |
|---|---|
| Index-13 | 0130544469 |
| Language | english |
| Publisher | Prentice-Hall (1984) |
✨ Readers also enjoyed...
Le Musée Van Gogh À Amsterdam : Le…