>> 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
 
1 電子ブック COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings

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

Springer-Verlag
7 図書 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
2 電子ブック COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

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

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Category theory and computer science : 7th International Conference, CTCS ʾ97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings

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

Springer-Verlag
3 図書 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings

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

Springer-Verlag
9 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

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

Springer-Verlag
4 図書 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

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

Springer-Verlag
10 図書 Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

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

Springer-Verlag
5 図書 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
11 図書 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

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

Springer
6 図書 Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings

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

Springer-Verlag
12 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings

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

Springer-Verlag