Scientific Library of Tomsk State University

   E-catalog        

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.

By: Grädel, ErichContributor(s): Kolaitis, Phokion G | Libkin, Leonid | Marx, Maarten | Spencer, Joel | Vardi, Moshe Y | Venema, Yde | Weinstein, Scott | SpringerLink (Online service)Material type: Computer fileComputer 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-books
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.
Share