Mechanizing hypothesis formation : mathematical foundations for a general theory

フォーマット:
図書
責任表示:
P. Hájek, T. Havránek
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, 1978
形態:
xv, 396 p. : ill. ; 25 cm
著者名:
シリーズ名:
Universitext <BA00021004>
書誌ID:
BA00654758
ISBN:
9780387087382 [0387087389]  CiNii Books  Webcat Plus  Google Books
9783540087380 [3540087389]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

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

Springer-Verlag

Cohen, Paul J., 1934-

Benjamin

Marlow, A. R.

Academic Press

Ackerman, Frank, Nadal Egea, Alejandro, Benetti, Carlo, Gallagher, Kevin P., Salas, Carlos

Routledge

Khinchin, Aleksandr I︠A︡kovlevich, 1894-1959, Silverman, Richard A., Friedman, Morris D.

Dover Publications

Roubíček, Tomáš, 1956-

Walter de Gruyter

Zima, Petr, Brown, Robert L., 1949-

McGraw-Hill

Stewart, Ian, Tall, David Orme

Oxford University Press

Müller, Claus

Springer-Verlag

Valentine, Willard Lee

Rinehart

Hájek, Jaroslav, Šidák, Zbyněk

Academic Press, Academia, Publishing House of the Czechoslovak Academy of Sciences

Pervin, William J.

Academic Press