Justifications under the Fixed-Domain Semantics

From International Center for Computational Logic
Toggle side column

Justifications under the Fixed-Domain Semantics

Master's thesis by Satyadharma Tirtarasa