Normal view
MARC view
Finite Model Theory and Its Applications Электронный ресурс by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein.
Material type: Computer fileSeries: Texts in Theoretical Computer Science an EATCS SeriesPublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007ISBN: 9783540688044Subject(s): Computer Science | Database management | Logic design | Logic, Symbolic and mathematical | Software engineering | Computer Science | Computation by Abstract Devices | Database Management | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Mathematical Logic and Foundations | Software EngineeringOnline resources: Click here to access online In: Springer e-booksNo physical items for this record
There are no comments on this title.
Log in to your account to post a comment.