Finite Model Theory

>> Google Books

Finite Model Theory

フォーマット:

電子ブック

責任表示:

Ebbinghaus, Heinz-Dieter ; Flum, Jorg ; Flum, Jörg

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1995

著者名:

ISBN:

9783540287872 [3540287876]

9786610413133 [6610413134]

9781280413131 [1280413131]

9783540287889 [3540287884]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	FINITE MODEL THEORY
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000232559
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer	7 電子ブック Topological Model Theory Flum, Ziegler, Martin Springer Berlin Heidelberg
2 電子ブック Finite Model Theory Ebbinghaus, Flum, Jörg Springer Berlin Heidelberg	8 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 Ebbinghaus, Heinz-Dieter, 1939-, Sacks, Gerald E., 1933-, Müller, G. H. (Gert Heinz), 1923- Springer-Verlag
3 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer	9 電子ブック Parameterized Complexity Theory Flum, Jorg, Grohe, Martin, Rozenberg, Grzegorz, European Association for Theoretical Computer Science. Springer Berlin Heidelberg
4 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer-Verlag	10 電子ブック Mathematical Logic Ebbinghaus, Flum, J., Thomas, Wolfgang Springer New York
5 電子ブック Recursion Theory Week Heinz-Dieter Ebbinghaus, Müller, Gert H., Sacks, Gerald E. Springer Berlin Heidelberg	11 図書 Differential geometric methods in mathematical physics : proceedings of an international conference held at the Technical University of Clausthal, FRG, August … Hennig, Jörg Dieter, Doebner, Heinz Dietrich, 1931- Springer-Verlag
6 電子ブック Ernst Zermelo Ebbinghaus, Heinz-Dieter, Peckhaus, Volker Springer Berlin Heidelberg	12 電子ブック Differential Geometric Methods in Mathematical Physics Heinz-Dietrich Doebner, Hennig, Jörg-Dieter Springer Berlin Heidelberg