Finite Model Theory and Its Applications
by
 
Grädel, Erich. author.

Title
Finite Model Theory and Its Applications

Author
Grädel, Erich. author.

ISBN
9783540688044

Physical Description
XIII, 437 p. 35 illus. online resource.

Series
Texts in Theoretical Computer Science an EATCS Series,

Series Title
Texts in Theoretical Computer Science an EATCS Series, 1862-4499

Subject Term
Computer science.
 
Software engineering.
 
Logic design.
 
Database management.
 
Logic, Symbolic and mathematical.

Added Author
Kolaitis, Phokion G.
 
Libkin, Leonid.
 
Marx, Maarten.
 
Spencer, Joel.
 
Vardi, Moshe Y.
 
Venema, Yde.
 
Weinstein, Scott.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
http://dx.doi.org/10.1007/3-540-68804-8


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book185593-2001ONLINEElektronik Kütüphane