ヘルプ
ヘルプ

検索結果 1 件

Set theory for computing : from decision procedures to declarative programming with sets

Set theory for computing : from decision procedures to declarative programming with sets
紙図書
Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. SchwartzSpringer Verlagc2001
全国の図書館
  • ISBN0387951970

検索結果は以上です。