New proofs in default logic theory

G. Antoniou, E. Langetepe, V. Sperschneider

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'New proofs in default logic theory'. Together they form a unique fingerprint.

Mathematics