Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/LogicConferences> . }
Showing items 1 to 8 of
8
with 100 items per page.
- Computer_Aided_Verification type LogicConferences.
- Conference_on_Automated_Deduction type LogicConferences.
- Federated_Logic_Conference type LogicConferences.
- IEEE_Symposium_on_Logic_in_Computer_Science type LogicConferences.
- International_Conference_on_Logic_Programming type LogicConferences.
- International_Joint_Conference_on_Automated_Reasoning type LogicConferences.
- International_Workshop_on_First-Order_Theorem_Proving type LogicConferences.
- Theorem_Proving_in_Higher-Order_Logics type LogicConferences.