<図書>

Termination proofs for logic programs / Lutz Plümer

(Lecture notes in computer science;446 . Lecture notes in artificial intelligence)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : gw 39:L:1.446 2012301657

5516/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1990
大きさ viii, 142 p. ; 25 cm
一般注記 Includes bibliographical references and index
著者標目 *Plümer, Lutz, 1951-
件 名 LCSH:Logic programming
LCSH:Artificial intelligence
分 類 LCC:QA76.63
DC20:006.3
本文言語 英語
書誌ID 2000156516
ISBN 3540528377
NCID BA10575035 WCLINK

検索結果一覧に戻る ページトップ