>> Amazon.co.jp
このページのQRコード

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

種類:
図書
責任表示:
Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
出版情報:
Berlin ; Tokyo : Springer, c1997
著者名:
シリーズ名:
Lecture notes in computer science ; 1289 <BA00009279>
ISBN:
9783540633853 [3540633855] (:pbk)  CiNii Books  Calil
注記:
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

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

Springer-Verlag
7 図書 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
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-Verlag
8 図書 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène

Springer
3 電子ブック 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
9 図書 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
4 図書 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, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic

Springer
10 図書 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
5 図書 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

Conference on Automated Deduction, Bibel, Wolfgang, 1938-, Kowalski, Robert

Springer-Verlag
11 図書 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
6 図書 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
12 図書 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