Decidability of Logical Theories and Their Combination

João Rasga, Cristina Sernadas

Decidability of Logical Theories and Their Combination - Springer Springer 2020

9783030565541

EBOOK
Copyright @ Delhi University Library System