Finite Model Theory and Its Applications
tarafından
 
Grädel, Erich. author.

Başlık
: 
Finite Model Theory and Its Applications

Yazar
: 
Grädel, Erich. author.

ISBN
: 
9783540688044

Fiziksel Tanımlama
: 
XIII, 437 p. 35 illus. online resource.

Seri
: 
Texts in Theoretical Computer Science an EATCS Series,

Seri Başlığı
: 
Texts in Theoretical Computer Science an EATCS Series, 1862-4499

Konu Terimleri
: 
Computer science.
 
Software engineering.
 
Logic design.
 
Database management.
 
Logic, Symbolic and mathematical.

Yazar Ek Girişi
: 
Kolaitis, Phokion G.
 
Libkin, Leonid.
 
Marx, Maarten.
 
Spencer, Joel.
 
Vardi, Moshe Y.
 
Venema, Yde.
 
Weinstein, Scott.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
http://dx.doi.org/10.1007/3-540-68804-8


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap185593-2001ONLINEElektronik Kütüphane