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

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996

種類:
図書
責任表示:
J. M. Larrazabal, D. Lascar, G. Mints (eds.)
出版情報:
Berlin : Springer, c1998
著者名:
シリーズ名:
Lecture notes in logic ; 12 <BA21291492>
ISBN:
9783540646686 [354064668X] (: pbk)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 The semantics and proof theory of the logic of bunched implications

Pym, David J.

Kluwer Academic, c2002
7 電子ブック Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977

Fourman, M. P., Mulvey, C. J., Scott, D. S., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
2 電子ブック Statistical Mechanics of Biocomplexity : Proceedings of the XV Sitges Conference, Held at Sitges, Barcelona, Spain, 8-12 June 1998

Reguera, D., Vilar, J.M.G., Rubi, J.M., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 電子ブック Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory

Richter, M. M., Börger, E., Oberschelp, W., Schinzel, B., Thomas, W., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
3 電子ブック Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 1: Models and Sets

Müller, G. H., Richter, M. M., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
9 図書 Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I

Logic Colloquium, Müller, Gert Heinz, 1923-, Richter, Michael M., 1938-

Springer-Verlag
4 電子ブック Statistical and Dynamical Aspects of Mesoscopic Systems : Proceedings of the XVI Sitges Conference on Statistical Mechanics Held at Sitges, Barcelona, Spain, …

Reguera, D., Platero, G., Bonilla, L.L., Rubi, J.M., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 電子ブック Coherent Structures in Complex Systems : Selected Papers of the XVII Sitges Conference on Statistical Mechanics Held at Sitges, Barcelona, Spain, 5–9 June …

Reguera, D., Bonilla, L.L., Rubi, J.M., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings

International Colloquium on Automata, Languages and Programming, Montanari, U. (Ugo), Rolim, José D. P., Welzl, Emo

Springer
11 図書 Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings

International Workshop on Logic in Databases, Pedreschi, Dino, Zaniolo, Carlo

Springer
6 電子ブック Statistical Models and Turbulence : Proceedings of a Symposium held at the University of California, San Diego (La Jolla) July 15–21, 1971

Rosenblatt, M., Atta, C. van., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 電子ブック Logic in Databases : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings

Pedreschi, Dino, Zaniolo, Carlo, SpringerLink (Online service)

Springer-Verlag