About:
http://dbpedia.org/resource/Category:Logic_conferences
An Entity in Data Space:
dbpedia.org
Property
Value
rdf:
type
skos
:Concept
rdfs:
label
Logic conferences
skos:
broader
dbpedia
:Category:Computer_conferences
dbpedia
:Category:Logic
skos:
prefLabel
Logic conferences
is
skos:
subject
of
dbpedia
:International_Joint_Conference_on_Automated_Reasoning
dbpedia
:Computer_Aided_Verification
dbpedia
:Federated_Logic_Conference
dbpedia
:IEEE_Symposium_on_Logic_in_Computer_Science
dbpedia
:International_Conference_on_Automated_...Analytic_Tableaux_and_Related_Methods
dbpedia
:International_Workshop_on_First-Order_Theorem_Proving
dbpedia
:International_Symposium_on_Logic-based_Program_Synthesis_and_Transformation
dbpedia
:Conference_on_Automated_Deduction
dbpedia
:International_Conference_on_Logic_Programming
dbpedia
:International_Conference_on_Rewriting_Techniques_and_Applications
dbpedia
:Theorem_Proving_in_Higher-Order_Logics
![[RDF Data]](/statics/sw-cube.png)
