>> Google Books
QRコード(所蔵情報)

Finite and algorithmic model theory

フォーマット:
図書
責任表示:
edited by Javier Esparza, Christian Michaux, Charles Steinhorn
言語:
英語
出版情報:
Cambridge : Cambridge University Press, 2011
形態:
xi, 341 p. : ill. ; 23 cm
著者名:
シリーズ名:
London Mathematical Society lecture note series ; 379 <BA0005393X>
書誌ID:
BB0516501X
ISBN:
9780521718202 [0521718201] (: pbk)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Cluckers, Raf, Nicaise, Johannes, Sebag, Julien

Cambridge University Press

7 電子ブック Finite Model Theory

Ebbinghaus, Flum, Jörg

Springer Berlin Heidelberg

Haskell, Deirdre, Pillay, Anand, Steinhorn, Charles

Cambridge University Press

8 電子ブック Finite Model Theory

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

Springer Berlin Heidelberg

Simmons, Harold

Cambridge University Press

Chui, Charles K., Montefusco, Laura, Puccio, Luigia

Academic Press

Desel, Jörg, Esparza, Javier

Cambridge University Press

Golumbic, Martin Charles; Hartman, Irith Ben-Arroyo, Golumbic, Martin Charles, Hartman, Irith Ben-Arroyo

Springer US

5 電子ブック Unfoldings

Esparza, Javier, Heljanko, Keijo

Springer Berlin Heidelberg

Grädel, Erich, Brauer, W., Hromkovic, J., Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, &hellip;

Springer Berlin Heidelberg

Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg

Springer

Beineke, Lowell W., Golumbic, Martin Charles, Wilson, Robin J.

Cambridge University Press