検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ From logic design to logic programming : theorem proving techniques and P-functions
書誌情報:From logic design to logic programming : theorem proving techniques and P-functions
Dominique Snyers, André Thayse.
Berlin ; New York : Springer-Verlag , c1987.
iv, 125 p. : ill. ; 25 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1U.S. : pbk.0中央５階洋
  • 007.1
  • L 49
  • 271
00514569 利用可
一般 

選択行を：  

書誌詳細
刊年1987
形態iv, 125 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 271
注記Bibliography: p. [121]-125.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Snyers, Dominique, 1959-
Thayse, André, 1940-
分類LCC:QA76.9.A96
DC19:511.3
ISBN0387182179(U.S. : pbk.)
件名LCSH:Automatictheoremproving.
LCSH:Computeralgorithms.
LCSH:Logicprogramming.
番号LCCN : 87020773

   
▲ページトップへ