Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Unification_(computing)> }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Alma-0 wikiPageWikiLink Unification_(computing).
- Assignment_(computer_science) wikiPageWikiLink Unification_(computing).
- Automated_theorem_proving wikiPageWikiLink Unification_(computing).
- Constraint_Handling_Rules wikiPageWikiLink Unification_(computing).
- Constraint_logic_programming wikiPageWikiLink Unification_(computing).
- Constraint_satisfaction wikiPageWikiLink Unification_(computing).
- Declarative_programming wikiPageWikiLink Unification_(computing).
- First-order_logic wikiPageWikiLink Unification_(computing).
- Futures_and_promises wikiPageWikiLink Unification_(computing).
- Gérard_Huet wikiPageWikiLink Unification_(computing).
- Hindley–Milner_type_system wikiPageWikiLink Unification_(computing).
- History_of_artificial_intelligence wikiPageWikiLink Unification_(computing).
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Unification_(computing).
- Isabelle_(proof_assistant) wikiPageWikiLink Unification_(computing).
- List_of_important_publications_in_theoretical_computer_science wikiPageWikiLink Unification_(computing).
- Nominal_terms_(computer_science) wikiPageWikiLink Unification_(computing).
- Outline_of_logic wikiPageWikiLink Unification_(computing).
- Pattern_matching wikiPageWikiLink Unification_(computing).
- Prolog_syntax_and_semantics wikiPageWikiLink Unification_(computing).
- Resolution_(logic) wikiPageWikiLink Unification_(computing).
- SLD_resolution wikiPageWikiLink Unification_(computing).
- Simply_typed_lambda_calculus wikiPageWikiLink Unification_(computing).
- Van_Wijngaarden_grammar wikiPageWikiLink Unification_(computing).
- ΛProlog wikiPageWikiLink Unification_(computing).
- Unification_(computing) primaryTopic Unification_(computing).