Matches in DBpedia 2015-04 for { ?s ?p <http://dbpedia.org/class/yago/TheoreticalComputerScienceConferences> }
Showing triples 1 to 18 of
18
with 100 triples per page.
- ALGO_Conference type TheoreticalComputerScienceConferences.
- Algorithmic_Number_Theory_Symposium type TheoreticalComputerScienceConferences.
- Computer_Aided_Verification type TheoreticalComputerScienceConferences.
- Conference_on_Automated_Deduction type TheoreticalComputerScienceConferences.
- Descriptional_Complexity_of_Formal_Systems type TheoreticalComputerScienceConferences.
- European_Symposium_on_Algorithms type TheoreticalComputerScienceConferences.
- Federated_Logic_Conference type TheoreticalComputerScienceConferences.
- IEEE_Symposium_on_Logic_in_Computer_Science type TheoreticalComputerScienceConferences.
- International_Conference_on_Developments_in_Language_Theory type TheoreticalComputerScienceConferences.
- International_Joint_Conference_on_Automated_Reasoning type TheoreticalComputerScienceConferences.
- International_Symposium_on_Distributed_Computing type TheoreticalComputerScienceConferences.
- International_Symposium_on_Graph_Drawing type TheoreticalComputerScienceConferences.
- International_Workshop_on_First-Order_Theorem_Proving type TheoreticalComputerScienceConferences.
- Symposium_on_Foundations_of_Computer_Science type TheoreticalComputerScienceConferences.
- Symposium_on_Principles_of_Distributed_Computing type TheoreticalComputerScienceConferences.
- Symposium_on_Theoretical_Aspects_of_Computer_Science type TheoreticalComputerScienceConferences.
- Symposium_on_Theory_of_Computing type TheoreticalComputerScienceConferences.
- Theorem_Proving_in_Higher-Order_Logics type TheoreticalComputerScienceConferences.