Deduction : automated logic
- 種類:
- 図書
- 責任表示:
- by Wolfgang Bibel ; translated by Monika Lekuse with assistance of Donald Sannella
- 出版情報:
- London ; Tokyo : Academic Press, c1993
- 著者名:
- Bibel, Wolfgang, 1938-
- ISBN:
- 9780120958351 [012095835X]
- 注記:
- Bibliography: p. 223-239
Includes index
類似資料:
Kluwer Academic |
Springer-Verlag |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
Springer | |
Springer-Verlag |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
North-Holland |
Springer Berlin Heidelberg : Imprint: Springer |