Spara
Finite Model Theory and Its Applications
häftad, 2014
Engelska
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory.
- Författare
- Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
- Upplaga
- 2007 ed.
- ISBN
- 9783642438608
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2014-10-30
- Sidor
- 437
