>> Google Books

Logic and Computer Science / Homer, Steven Homer, Piergiorgio Odifreddi, Centro internazionale matematico estivo., Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1990
著者名:
Homer
Homer, Steven
Odifreddi, Piergiorgio
Centro internazionale matematico estivo.
Nerode, Anil
Platek, Richard A.
Sacks, Gerald E.
Scedrov, Andre
さらに 3 件
ISBN:
9783540527343 [3540527346]
9783540471356 [3540471359]
書誌ID:
OB00498516
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 図書 Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June … (: gw ; : us)

Homer, S. (Steven), Odifreddi, Piergiorgio, 1950-, Centro internazionale matematico estivo. Session, C.I.M.E. Meeting on …

Springer-Verlag
7 電子ブック Finite Geometric Structures and their Applications

Barlotti, A., Barlotti, Adriano, Centro internazionale matematico estivo.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Logical Foundations of Computer Science

Artemov, Anil Nerode, Nerode, Anil

SpringerLink Books - AutoHoldings, Springer International Publishing
8 電子ブック Geometry of Homogeneous Bounded Domains

Vesentini, E., Vesentini, Edoardo, Centro internazionale matematico estivo.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Aspects of Mathematical Logic

C.I.M.E. Summer School, Casari, Ettore, Centro internazionale matematico estivo.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 電子ブック Matroid Theory and its Applications

Barlotti, A., Barlotti, Adriano, Centro internazionale matematico estivo.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode, Nerode, Anil

SpringerLink Books - AutoHoldings, Springer International Publishing
10 電子ブック Model Theory and Applications

Mangani, P., Centro internazionale matematico estivo.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Kinetic theories and the Boltzmann equation : lectures given at the 1st 1981 session of the Centro internazionale matematico estivo (C.I.M.E.), held at … (: gw ; : us)

Cercignani, Carlo, Centro internazionale matematico estivo

Springer-Verlag
11 電子ブック Logical Foundations of Computer Science — Tver '92

Nerode, Nerode, Anil, Taitslin, Mikhail A.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 Buildings and the geometry of diagrams : lectures given at the 3rd 1984 Session of the Centro internazionale matematico estivo (C.I.M.E.) held at Como, Italy, … (: gw ; : us)

Centro internazionale matematico estivo. Session, Rosati, Luigi A.

Springer-Verlag
12 電子ブック Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

Springer eBooks Computer Science, Springer International Publishing
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12