Neugebauer, Gerd

検索結果1件中 1-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

    所蔵館23館

この著者を外部サイトでさがす

ページトップへ