Decidability of logical theories and their combination /
Format: | Book |
---|---|
Published: |
c2020.
|
Online Access: | Ver documento en línea |
Similar Items
-
Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday /
Published: (2019) -
Combining object-oriented and logic programming /
by: Jenkins Coronas, Marcelo, et al.
Published: (1992) -
Deciding how to decide /
by: Courtney, Hugh -
Decide /
by: Rivas, Sandra
Published: (2000) -
Theories in logic /
by: Windelband, Wilhelm, 1848-1915
Published: (1961)