Neugebauer, Gerd

Search Results1-1 of 1

  • 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

    Academic Press c1993

    Available at 22 libraries

Page Top