自動書庫

Web出庫サービス

 

出庫指示

  • 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
  • 027232004151442
  • 図書
サイト内検索