>> Amazon.co.jp
このページのQRコード

Logic year 1979-80 : the University of Connecticut, USA

種類:
図書
責任表示:
edited by M. Lerman, J.H. Schmerl, and R.I. Soare
出版情報:
Berlin ; New York : Springer-Verlag, 1981
著者名:
シリーズ名:
Lecture notes in mathematics ; 859 <BA00146586>
ISBN:
9783540107088 [3540107088] (: Berlin)  CiNii Books  Calil
9780387107080 [0387107088] (: New York)  CiNii Books  Calil
注記:
Includes bibliographies
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Logic Year 1979-80 : The University of Connecticut, USA

Lerman, M., Schmerl, J.H., Soare, R.I., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

International Workshop LCC, Leivant, Daniel Maurice Raphaël

Springer-Verlag
2 図書 Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers]

Cambridge Summer School in Mathematical Logic, Mathias, A. R. D. (Adrian Richard David), 1944-, Rogers, H. (Hartley), &hellip;

Springer-Verlag
8 図書 Mathematical logic : proceedings of the first Brazilian Conference

Brazilian Conference on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R., Universidade Estadual &hellip;

M. Dekker
3 図書 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
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 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and …

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., &hellip;

North-Holland
10 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings

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

Springer-Verlag
5 図書 Logic Colloquium '90

Logic Colloquium, Oikkonen, J. (Juha), 1951-, Väänänen, J. (Jouko), 1950-

Springer-Verlag
11 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings

JELIA, Eijck, J. van (Jan)

Springer-Verlag
6 図書 Logic Colloquium '92

Logic Colloquium, Csirmaz, László, Gabbay, Dov M., 1945-, Rijke, Maarten de, Association for Symbolic Logic

CSLI Publications
12 図書 Logic

Coleridge, Samuel Taylor, 1772-1834, Jackson, J. R. de J. (James Robert de Jager)

Routledge and K. Paul, Princeton University Press