>> Amazon.co.jp
このページの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
著者名:
シリーズ名:
Lecture notes in computer science ; 417 <BA00009279>
ISBN:
9783540523352 [3540523359] (: gw)  CiNii Books  Calil
9780387523354 [0387523359] (: us)  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

Martin-Löf, Per, Mints, Grigori, SpringerLink (Online service)

Springer-Verlag

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

Springer-Verlag

Martin-Löf, Per., Mints, Grigori., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

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

Springer-Verlag

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

Springer-Verlag

International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus

Springer-Verlag

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

Springer-Verlag

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

Springer-Verlag

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

Springer

Proof Theory in Computer Science, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert

Springer

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

Springer-Verlag

International Conference on Automated Deduction, Shostak, Robert, 1931-

Springer-Verlag