PROPOSITIONAL CIRCUMSCRIPTION AND EXTENDED CLOSED-WORLD REASONING AREPI(P)(2)-COMPLETE (VOL 114, PG 231, 1993)

Authors
EITER T GOTTLOB G
Citation
T. Eiter et G. Gottlob, PROPOSITIONAL CIRCUMSCRIPTION AND EXTENDED CLOSED-WORLD REASONING AREPI(P)(2)-COMPLETE (VOL 114, PG 231, 1993), Theoretical computer science, 118(2), 1993, pp. 315-315
Citations number
3
Categorie Soggetti
Computer Sciences","Computer Applications & Cybernetics",Mathematics
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
118
Issue
2
Year of publication
1993
Pages
315 - 315
Database
ISI
SICI code
0304-3975(1993)118:2<315:PCAECR>2.0.ZU;2-V