>> Amazon.co.jp
このページの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
著者名:
シリーズ名:
Lecture notes in computer science ; 713 <BA00009279>
ISBN:
9780387571843 [0387571841] (: us)  CiNii Books  Calil
9783540571841 [3540571841] (: gw)  CiNii Books  Calil
注記:
Sponsored by Kurt Gödel Society
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele, SpringerLink (Online service)

Springer-Verlag
7 図書 Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Workshop on Computer Science Logic, Gottlob, G. (Georg), Grandjean, E. (Etienne), Seyr, Katrin

Springer
2 電子ブック Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Gottlob, Georg., Leitsch, Alexander., Mundici, Daniele., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

Proof Theory in Computer Science, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert

Springer
3 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

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

Springer
9 図書 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., &hellip;

North-Holland
4 図書 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings

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

Springer-Verlag
10 図書 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

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

Springer-Verlag
5 図書 Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings

Gödel '96 (1996 : Brno, Czech Republic), Hájek, Petr

Springer
11 図書 Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 : proceedings

International Conference on Automated Deduction, Baader, Franz

Springer
6 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, Gert Heinz, 1923-

Springer-Verlag
12 図書 Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

International Conference on Automated Deduction, McRobbie, M. A. (Michael A.), Slaney, John K.

Springer