<図書>

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed

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

所蔵情報を非表示

1

本郷キャンパス

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

6295/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
教養・言語情報 : Berlin 3910696743


書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1992
大きさ xiv, 509 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 *LPAR (1992 : Saint Petersburg, Russia)
Voronkov, A. (Andreĭ), 1959-
件 名 LCSH:Logic programming -- Congresses
LCSH:Automatic theorem proving -- Congresses
分 類 LCC:QA76.63
DC20:006.3
本文言語 英語
書誌ID 2000256854
ISBN 354055727X
NCID BA1726493X WCLINK

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