Deduction : automated logic
by Wolfgang Bibel with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella
Bok Engelsk 1993
| Utgitt | London : Academic Press , c1993
|
|---|---|
| Omfang | 253 s. : fig.
|
| Emner | |
| ISBN | 012095835X
|
