>> Google Books
タイトル、所在を表示します

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
形態:
viii, 322 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in logic ; 6 <BA21291492>
書誌ID:
BA28243625
ISBN:
9783540614340 [3540614346]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 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 &hellip;

Springer
2 図書 Mathematical foundations of computer science 2010 : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings

Symposium on Mathematical Foundations of Computer Science, Hliněný, Petr, Kučera, A. (Antonín)

Springer
8 図書 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
3 図書 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, Lubǒs, Gruska, Jozef, Zlatuška, Jiří

Springer
9 図書 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
4 図書 Logic, foundations of mathematics, and computability theory

International Congress of Logic, Methodology and Philosophy of Science, Butts, Robert E., Hintikka, Jaakko, 1929-

D. Reidel
10 図書 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
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, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for &hellip;

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 図書 Mathematical foundations of computer science 2001 : 26th International Symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 27-31, 2001 : proceedings

Symposium on Mathematical Foundations of Computer Science, Sgall, Jiřį́, 1965-, Pultr, Aleš, Kolman, Petr

Springer
12 図書 Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

International Symposium on Logical Foundations of Computer Science, Adi︠a︡n, S. I., Nerode, Anil, 1932-

Springer-Verlag