Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Logic_conferences> . }
Showing items 1 to 10 of
10
with 100 items per page.
- Computer_Aided_Verification subject Category:Logic_conferences.
- Conference_on_Automated_Deduction subject Category:Logic_conferences.
- Federated_Logic_Conference subject Category:Logic_conferences.
- IEEE_Symposium_on_Logic_in_Computer_Science subject Category:Logic_conferences.
- Interactive_Theorem_Proving_(conference) subject Category:Logic_conferences.
- International_Conference_on_Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods subject Category:Logic_conferences.
- International_Conference_on_Logic_Programming subject Category:Logic_conferences.
- International_Conference_on_Rewriting_Techniques_and_Applications subject Category:Logic_conferences.
- International_Joint_Conference_on_Automated_Reasoning subject Category:Logic_conferences.
- International_Workshop_on_First-Order_Theorem_Proving subject Category:Logic_conferences.