On the Computability of Circumscription

TitleOn the Computability of Circumscription
Publication TypeJournal Article
Year of Publication1988
AuthorsKrishnaprasad Thirunarayan
Full Text

Krishnaprasad Thirunarayan, 'On the Computability of Circumscription', Inf. Process. Lett. 27(5): 237-243 (1988)
pages: 237-243
year: 1988
hasBookTitle: Information Processing Letters (IPL)