Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

relation inductive

inductive relation

informatique et traitement des données - acta.es

▷

Defining and reasoning about general recursive functions in type theory: a practical method

... L'idée principale est de définir le graphe de la fonction en cours de définition comme une relation inductive, et de prouver que cette relation représente une fonction qui est, par construction, celle qu'on essaie de définir....

... The idea is to define the graph of the intended function as an inductive relation, and to prove that the relation actually represents a function, which is by construction the function that we are trying to define....

activité agricole / politique tarifaire / Europe - core.ac.uk - PDF: core.ac.uk

▷

Type-theoretic functional semantics... The operational semantics is given bynatural inference rules, implemented as an inductive relation....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Kernel-based relation extraction for crime investigation... We discuss here an inductive relation extraction platform that opens the way to much cheaper and consistent workflows....

PDF: disi.unitn.it

Kernel-based relation extraction from investigative data... We discuss here an inductive relation extraction platform that opens the way to much cheaper and consis-tent workflows....

PDF: disi.unitn.it

Defining and reasoning about recursive functions: a practical tool for the coq proof assistant... The tool generates from pseudo-code the graph of the intended function as an inductive relation....

PDF: citeseerx.ist.psu.edu