>> 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

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

Springer

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

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

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

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

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

IEEE Computer Society Press, Order from IEEE Computer Society

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

Springer-Verlag

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

Computer Measurement Group

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