<図書>

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (ed.)

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

所蔵情報を非表示

1

本郷キャンパス

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

8506/保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin ; Heidelberg : Springer
出版年 c1997
大きさ xi, 372 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *TABLEAUX (1997 : Pont-à-Mousson, France)
Galmiche, Didier, 1958-
件 名 LCSH:Automatic theorem proving -- Congresses
LCSH:Parallel processing (Electronic computers) -- Congresses
本文言語 英語
書誌ID 2000609908
ISBN 3540629203
NCID BA30732657 WCLINK

類似資料

  1. 1 Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers
  2. 2 Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
  3. 3 Automated reasoning : introduction and applications / Larry Wos ... [et al.]
  4. 4 Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright, J. Grundy, J. Harrison, (eds.)
  5. 5 Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi, Mario Coppo, (eds.)
  6. 6 Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)
  7. 7 Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri, (eds.)
  8. 8 Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger [editors]
  9. 9 Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / Elsa L. Gunter, Amy Felty (eds.)
  10. 10 Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors

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