Autor: Yde Venema

Ajutor

4 Ebooks de Yde Venema

Maarten Marx & Yde Venema: Multi-Dimensional Modal Logic
Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of the …
PDF
Engleză
DRM
€114.55
Erich Gradel & Phokion G. Kolaitis: Finite Model Theory and Its Applications
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 complexi …
PDF
Engleză
DRM
€86.67