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

Gödel remembered : Salzburg 10-12 July 1983

フォーマット:
図書
責任表示:
R. Gödel ... [et al.] ; edited by Paul Weingartner and Leopold Schmetterer
言語:
英語
出版情報:
Napoli : Bibliopolis, c1987
形態:
186 p., [8] leaves of plates ; 24 cm
著者名:
シリーズ名:
History of logic ; 4 <BA03979613>
書誌ID:
BA03979420
ISBN:
9788870881417 [8870881415]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Mathematical logic and its applications

Advanced International Summer School and Conference on Mathematical Logic and Its Applications, Skordev, Dimitŭr &hellip;

Plenum Press
7 図書 Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic Colloquium, Gandy, R. O., Hyland, John Martin Elliott

North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland
2 図書 ゲーデルを語る : 1983年7月10日-12日ザルツブルクにて

Gödel, R. (Rudolf), Weingartner, Paul, Schmetterer, Leopold, 1919-, 前原, 昭二(1927-1992), 本橋, 信義(1943-)

遊星社, 星雲社 (発売)
8 図書 Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Clarke, Michael, 1940-, Kruse, &hellip;

Springer-Verlag
3 図書 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
9 図書 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990, proceedings

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

Springer-Verlag
4 図書 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
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 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

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

Springer
11 図書 Introduction to mathematical statistics

Schmetterer, Leopold, 1919-, Wickwire, Kenneth

Springer-Verlag
6 図書 Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings

International Conference on Automated Deduction, Bundy, Alan

Springer-Verlag
12 図書 Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent

Springer