検索条件入力 ＞ 書誌詳細 ＞ Termination proofs for logic programs
書誌情報:Termination proofs for logic programs
Lutz Plümer.
Berlin ; New York : Springer-Verlag , c1990.
viii, 142 p. : ill. ; 25 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1Berlin : acid-free paper0中央５階洋
  • 007.1
  • L 49
  • 446
00510459 利用可
一般 

選択行を：  

書誌詳細
刊年1990
形態viii, 142 p. : ill. ; 25 cm.
別書名Lecture notes in computer science ; 446. Lecture notes in artificial intelligence
シリーズ名Lecture notes in computer science.[Lecture notes in artificial intelligence.]
注記Rev. version of author's thesis.
Includes bibliographical references (p. [132]-139) and index.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Plümer, Lutz.
分類LCC:QA76.63
DC20:006.3
ISBN3540528377(Berlin : acid-free paper)
0387528377(New York : acid-free paper)
件名LCSH:Logicprogramming.
LCSH:Artificialintelligence.
番号LCCN : 90010556

   
▲ページトップへ