>> Google Books
所蔵情報QRコード

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1993
形態:
xi, 348 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 713 <BA00009279>
著者名:
ISBN:
9780387571843 [0387571841] (: us)
9783540571841 [3540571841] (: gw)
書誌ID:
BA20709943
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings (: pbk)

Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-

Springer
7 図書 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles

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 図書 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
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 図書 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers (: gw ; : us)

International Workshop on TYPES, Barendregt, H. P. (Hendrik Pieter), 1947-, Nipkow, Tobias, 1958-

Springer-Verlag
4 図書 Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings

Workshop on Computer Science Logic, Gottlob, Georg, 1956-, Grandjean, E., 1914-, Seyr, Katrin

Springer
10 図書 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
5 図書 Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

International Workshop on Automated Deduction in Geometry, Richter-Gebert, Jürgen, Wang, Dongming

Springer
11 図書 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers (: gw ; : us)

Workshop on Computer Science Logic, Börger, Egon, 1946-, Gurevich, Yuri, Meinke, K. (Karl)

Springer-Verlag
6 図書 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings (: gw ; : us)

International Conference on Automated Deduction, Stickel, Mark E., 1947-

Springer-Verlag
12 図書 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers (: gw ; : us)

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12