Finite Model Theory and Its Applications [electronic resource] / by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein.
By: Grädel, Erich.
Contributor(s): Kolaitis, Phokion G | Libkin, Leonid | Marx, Maarten | Spencer, Joel | Vardi, Moshe Y | Venema, Yde | Weinstein, Scott | SpringerLink (Online service).
Material type:
BookSeries: Texts in Theoretical Computer Science an EATCS Series.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Description: digital.ISBN: 9783540688044.Subject(s): Computer science | Software engineering | Logic design | Database management | Logic, Symbolic and mathematical | Computer Science | Mathematical Logic and Formal Languages | Software Engineering | Computation by Abstract Devices | Logics and Meanings of Programs | Database Management | Mathematical Logic and FoundationsDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.