Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c1997

形態:

viii, 348 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1289 <BA00009279>

著者名:

ISBN:

9783540633853 [3540633855] (: pbk)

書誌ID:

BA32295134

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Automatic theorem proving--Congresses; Logic, Symbolic and mathematical--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings (: us ; : gw) Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-, Kurt Gödel Society Springer-Verlag	7 図書 Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings International Conference on Theorem Proving in Higher Order Logics, Gunter, Elsa L., Felty, Amy Springer
2 電子ブック Computational Logic and Proof Theory Kurt Gödel Colloquium, Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele, Kurt Gödel Society. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings IJCAR, Goré, Rajeev, Leitsch, Alexander, 1952-, Nipkow, Tobias, 1958- Springer
3 電子ブック Computational Logic and Proof Theory Kurt Gödel Colloquium, Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele, Kurt Gödel Society. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings Proof Theory in Computer Science, Kahle, Reinhard, 1967-, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert F., … Springer
4 図書 Computer science logic : 17th International Workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, … Workshop on Computer Science Logic, European Association for Computer Science Logic. Meeting, Makowsky, Johann A., … Springer	10 図書 Automated deduction in geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers International Workshop on Automated Deduction in Geometry, Winkler, Franz, 1955- Springer
5 図書 Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings PKDD, Komorowski, Jan, Żytkow, Jan M. Springer	11 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and … IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., … North-Holland
6 図書 Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers Workshop on Computer Science Logic, Nielsen, M. (Mogens), 1949-, Thomas, Wolfgang, European Association for Computer … Springer	12 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves Springer

1

2

3

4

5

6

7

8

9

10

11

12