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

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

種類:
図書
責任表示:
Petr Hájek (ed.)
出版情報:
Berlin ; New York ; Tokyo : Springer, c1996
著者名:
シリーズ名:
Lecture notes in logic ; 6 <BA21291492>
ISBN:
9783540614340 [3540614346]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
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 図書 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag
2 電子ブック Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings

Wiedermann, Jiří, Hájek, Petr, SpringerLink (Online service)

Springer-Verlag
8 図書 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag
3 電子ブック Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings

Wiedermann, Jiri., Hajek, Petr., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
9 図書 Logic from computer science : proceedings of a workshop held November 13-17, 1989

Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science

Springer-Verlag
4 図書 Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings

Symposium on Mathematical Foundations of Computer Science, Wiedermann, J. (Juraj), Hájek, Petr

Springer-Verlag
10 図書 Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS '98, Brno, Czech Republic, August 24-28, 1998 : proceedings

Symposium on Mathematical Foundations of Computer Science, Brim, Luboš, Gruska, Jozef, Zlatuška, Jiří

Springer
5 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Workshop on Computer Science Logic, Dalen, Dirk van, Bezem, Marc, European Association for Computer Science Logic

Springer
11 図書 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)

Springer-Verlag
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, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic

Springer
12 図書 Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings

International Symposium on Logical Foundations of Computer Science, Nerode, Anil, 1932-, Taitslin, M. A. (Mikhail A.), &hellip;

Springer-Verlag