このページのリンク

Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
(Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1999
本文言語 英語
大きさ xii, 395 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.63:L645:1999
3540664920 002842905

書誌詳細を非表示

一般注記 Includes bibliographical references
著者標目 *LPAR (6th : 1999 : Tbilisi, Georgia)
Ganzinger, Harald, 1950-
McAllester, David A.
Voronkov, A. (Andreĭ), 1959-
件 名 LCSH:Logic programming -- Congresses  全ての件名で検索
LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
分 類 LCC:QA76.63
NDC8:007.1
巻冊次 ISBN:3540664920 REFWLINK
ISBN 3540664920
NCID BA4306495X WCLINK
目次/あらすじ

 類似資料