<図書>

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / David McAllester (ed.)

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

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・図書
KI:Automated:17 8010264763


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xiii, 512 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Conference on Automated Deduction (17th : 2000 : Pittsburgh, PA)
McAllester, David A.
件 名 LCSH:Automatic theorem proving -- Congresses
LCSH:Logic, Symbolic and mathematical -- Congresses
分 類 LCC:QA76.9.A96
本文言語 英語
書誌ID 2001204883
ISBN 3540676643
NCID BA47113026 WCLINK

類似資料

  1. 1 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings / Yves Bertot ... [et al.] (eds.)
  2. 2 Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / Andrei Voronkov (ed.)
  3. 3 Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings / Franz Baader (ed.)
  4. 4 Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.)
  5. 5 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings / M.E. Stickel (ed.)
  6. 6 Computational logic : symposium proceedings, Brussels, November 13/14, 1990 / John W. Lloyd (ed.)
  7. 7 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.)
  8. 8 Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune (ed.)
  9. 9 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, (eds.)
  10. 10 Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy (ed.)

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