Dictionnaire français - anglais

déductiviste

sciences humaines - iate.europa.eu
Montague grammars as deductive databases... This paper presents a technique for further applications of deductive databases in the field of natural language processing....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
A framework for cooperative deductive database systemsIn this paper, we address one important aspect of the problem of designing a cooperative deductive database system, namely, allocation of rules across the deductive database systems....
Using clausal deductive databases for de ning semantics in disjunctive deductive databasesThis paper investigates the novel concept of clausal deductive databases (cd{ databases), which are special normal deductive databases { i.e....
Clausal deductive databases and a general framework for semantics in disjunctive deductive databasesIn this paper we will investigate the novel concept of clausal deductive databases (cd{databases), which are special normal deductive databases { i.e....
Deductive algorithmic knowledge... In many cases of interest, a deductive system, rather than a particular algorithm, captures the formal reasoning used by the agents to compute what they explicitly know....

Synonymes et termes associés français

Traductions en contexte français - anglais

Dans le style déductiviste, on commence par une liste précautionneuse d’axiomes, de lemmes ou de définitions.

This style starts with a painstakingly stated list of axioms, lemmas and/or definitions.

général - CCMatrix (Wikipedia + CommonCrawl)
La grande philosophie des sciences du siècle passé a poursuivi le rêve de la méthode, tant dans la vision inductiviste et vérificationniste de Carnap que dans la vision déductiviste et falsificationniste de Popper.

The greatest philosophy of science in the twentieth century pursued the dream of method, both in the inductivist, verificationist vision of Carnap, and in the deductivist, falsificationist vision of Popper.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues