>> Google Books
所蔵情報QRコード

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings / P. Martin-Löf, G. Mints (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1990
形態:
vi, 338 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 417 <BA00009279>
著者名:
ISBN:
9783540523352 [3540523359] (: gw)
9780387523354 [0387523359] (: us)
書誌ID:
BA09976108
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-

Springer-Verlag

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

North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland

Workshop on Computer Science Logic, Börger, Egon, 1946-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948-

Springer-Verlag

International Conference on the Mathematics of Program Construction, Kozen, Dexter

Springer

International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves

Springer

Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954-

Springer-Verlag

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

Springer

Foundations of Logic and Functional Programming Workshop, Boscarol, Mauro, 1947-, Carlucci Aiello, Luigia, 1946-, Levi, …

Springer-Verlag

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

Springer-Verlag

International Conference on Management and Performance Evaluation of Computer Systems, Computer Measurement Group

Computer Measurement Group

Symposium on Mathematical Foundations of Computer Science, Tarlecki, Andrzej, 1956-

Springer-Verlag

Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of …

IEEE Computer Society Press, Order from IEEE Computer Society

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