<図書>

Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri, (eds.)

(Lecture notes in computer science;859)

所蔵情報を非表示

1

本郷キャンパス

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

7208/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1994
大きさ ix, 470 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 Melham, T. F. (Tom F.)
Camilleri, Juanito
*IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (7th : 1994 : Valletta, Malta)
件 名 LCSH:Automatic theorem proving -- Congresses
分 類 LCC:QA76.9.A96
DC20:004/.01/5113
本文言語 英語
書誌ID 2000353362
ISBN 3540584501
NCID BA23471269 WCLINK

類似資料

  1. 1 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.)
  2. 2 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]
  3. 3 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.)
  4. 4 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
  5. 5 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.)
  6. 6 Gems of theoretical computer science / Uwe Schöning, Randall Pruim
  7. 7 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.)
  8. 8 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.)
  9. 9 Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
  10. 10 Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitch(eds.)

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