Results 251 to 260 of about 99,447 (295)
Mapping the research landscape on diabetes mellitus and periodontal disease: a scientometric study. [PDF]
Saudi Dent JRepanovici A, Vîlcu ME, Pantea I.
europepmc +1 more source
Genetic architecture of seedling stage chilling tolerance in United States rice germplasm. [PDF]
Front Plant SciChandavarapu R +5 more
europepmc +1 more source
United Karnataka or: A Case for Karnataka unification
, 1928 Secretaries, Karnatak Unification Sabha (Editor) +1 more
core +1 more source
Unifying Outpatient Practices to Redress Structural Racism in an Urban Health System.
JAMA Health ForumSchlozman SR +6 more
europepmc +1 more source
Generalizations of Unification
Journal of Symbolic Computation, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alessandro Berarducci
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Automated Reasoning, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Journal of Functional Programming, 1998
Unification, or two-way pattern matching, is the process of solving an equation involving two first-order terms with variables. Unification is used in type inference in many programming languages and in the execution of logic programs. This means that unification algorithms have to be written over and over again for different term types.
Patrik Jansson, Johan Jeuring
openaire +3 more sources
Unification, or two-way pattern matching, is the process of solving an equation involving two first-order terms with variables. Unification is used in type inference in many programming languages and in the execution of logic programs. This means that unification algorithms have to be written over and over again for different term types.
Patrik Jansson, Johan Jeuring
openaire +3 more sources
Synthese, 1999
Parmi les modeles d'explication pragmatiques et dynamiques, fondes sur les episodes question-reponse, l'A. distingue differents types d'explication: les explications de la question pourquoi?, les explications des evenements singuliers et les explications des lois.
openaire +1 more source
Parmi les modeles d'explication pragmatiques et dynamiques, fondes sur les episodes question-reponse, l'A. distingue differents types d'explication: les explications de la question pourquoi?, les explications des evenements singuliers et les explications des lois.
openaire +1 more source