Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0304-3975(93)90073-3> ?p ?o }
Showing triples 1 to 20 of
20
with 100 triples per page.
- 0304-3975(93)90073-3 accessdate "2013-02-20".
- 0304-3975(93)90073-3 authorlink2 "Georg Gottlob".
- 0304-3975(93)90073-3 date "June 1993".
- 0304-3975(93)90073-3 doi "10.1016/0304-397590073-3".
- 0304-3975(93)90073-3 first1 "T.".
- 0304-3975(93)90073-3 first1 "Thomas".
- 0304-3975(93)90073-3 first2 "G.".
- 0304-3975(93)90073-3 first2 "Georg".
- 0304-3975(93)90073-3 isCitedBy Circumscription_(logic).
- 0304-3975(93)90073-3 isCitedBy Closed-world_assumption.
- 0304-3975(93)90073-3 issn "0304-3975".
- 0304-3975(93)90073-3 issue "2".
- 0304-3975(93)90073-3 journal "Theoretical Computer Science".
- 0304-3975(93)90073-3 last1 "Eiter".
- 0304-3975(93)90073-3 last2 "Gottlob".
- 0304-3975(93)90073-3 pages "231–245".
- 0304-3975(93)90073-3 title "Propositional circumscription and extended closed world reasoning are \Pi^p_2-complete".
- 0304-3975(93)90073-3 title "Propositional circumscription and extended closed-world reasoning are -complete".
- 0304-3975(93)90073-3 url 0304397593900733.
- 0304-3975(93)90073-3 volume "114".