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
|