New proofs in default logic theory
โ
G. Antoniou; E. Langetepe; V. Sperschneider
๐
Article
๐
1994
๐
Springer Netherlands
๐
English
โ 903 KB