Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dis-unification_(computer_science)> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Dis-unification_(computer_science) abstract "Dis-Unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.".
- Dis-unification_(computer_science) wikiPageExternalLink Comon.Hubert_1988_these.pdf.
- Dis-unification_(computer_science) wikiPageID "39813016".
- Dis-unification_(computer_science) wikiPageRevisionID "570752516".
- Dis-unification_(computer_science) subject Category:Logic_programming.
- Dis-unification_(computer_science) subject Category:Theoretical_computer_science.
- Dis-unification_(computer_science) comment "Dis-Unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.".
- Dis-unification_(computer_science) label "Dis-unification (computer science)".
- Dis-unification_(computer_science) sameAs m.0w64h2c.
- Dis-unification_(computer_science) sameAs Q16961992.
- Dis-unification_(computer_science) sameAs Q16961992.
- Dis-unification_(computer_science) wasDerivedFrom Dis-unification_(computer_science)?oldid=570752516.
- Dis-unification_(computer_science) isPrimaryTopicOf Dis-unification_(computer_science).