Autore: Joao Rasga

Supporto

1 Ebook di Joao Rasga

Joao Rasga & Cristina Sernadas: Decidability of Logical Theories and Their Combination
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrat …
EPUB
Inglese
DRM
€70.40