<図書>

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)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Logic 8010244385


書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1999
大きさ xii, 395 p. : ill. ; 24 cm
一般注記 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
本文言語 英語
書誌ID 2000980063
ISBN 3540664920
NCID BA4306495X WCLINK

類似資料

  1. 1 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)
  2. 2 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov (ed.)
  3. 3 Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.)
  4. 4 Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.)
  5. 5 Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Philippe Codognet (ed.)
  6. 6 Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings / Peter J. Stuckey (ed.)
  7. 7 Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / Catuscia Palamidessi (ed.)
  8. 8 Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / Bart Demoen, Vladimir Lifschitz (eds.)
  9. 9 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed
  10. 10 Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello (eds.)

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