Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Journal_of_Automated_Reasoning> }
Showing triples 1 to 15 of
15
with 100 triples per page.
- Automated_reasoning wikiPageWikiLink Journal_of_Automated_Reasoning.
- Index_of_logic_articles wikiPageWikiLink Journal_of_Automated_Reasoning.
- Index_of_philosophical_literature wikiPageWikiLink Journal_of_Automated_Reasoning.
- List_of_logic_journals wikiPageWikiLink Journal_of_Automated_Reasoning.
- Melvin_Fitting wikiPageWikiLink Journal_of_Automated_Reasoning.
- Mizar_system wikiPageWikiLink Journal_of_Automated_Reasoning.
- Outline_of_thought wikiPageWikiLink Journal_of_Automated_Reasoning.
- Peter_B._Andrews wikiPageWikiLink Journal_of_Automated_Reasoning.
- Tobias_Nipkow wikiPageWikiLink Journal_of_Automated_Reasoning.
- Ulrike_Sattler wikiPageWikiLink Journal_of_Automated_Reasoning.
- books?id=9IFMCsQJyscC&pg=SA61-PA24 isCitedBy Journal_of_Automated_Reasoning.
- books?id=BG6uMcioN7EC&pg=PR7 isCitedBy Journal_of_Automated_Reasoning.
- 10817 isCitedBy Journal_of_Automated_Reasoning.
- s10817-009-9145-6 journal Journal_of_Automated_Reasoning.
- Journal_of_Automated_Reasoning primaryTopic Journal_of_Automated_Reasoning.