Dictionary in more than hundred languages and with over one billion example translations

Source Languages	Target Languages

Dictionary

 <a href='https://iate.europa.eu/home'>IATE</a> 3236

logic programming

programmation en logique

 <a href='https://iate.europa.eu/home'>IATE</a> 3236

logic programming

programmation logique

Keybot 33 Results 21 Domains

www.amt.it

Show text Show cached source Open source URL	Artificial language, language of logic, programming language
Compare text pages Compare HTM pages Open source URL Open target URL Define lingvo.info as primary domain	Langue artificielle, langue logique, langage de programmation

2 Hits pauillac.inria.fr

Show text Show cached source Open source URL	Projet Atoll: parsing & logic programming, computational linguistic, tabulation techniques, electronic documents.
Compare text pages Compare HTM pages Open source URL Open target URL Define pauillac.inria.fr as primary domain	Projet Moscova: programmation parallèle, lambda-calcul, calculs de processus, gestion mémoire (garbage collection).

cristal.inria.fr

Show text Show cached source Open source URL	Programming Language Implementation and Logic Programming, august 1990.
Compare text pages Compare HTM pages Open source URL Open target URL Define cristal.inria.fr as primary domain	Programming Language Implementation and Logic Programming, août 1990.

gallium.inria.fr

Show text Show cached source Open source URL	Programming Language Implementation and Logic Programming, august 1990.
Compare text pages Compare HTM pages Open source URL Open target URL Define gallium.inria.fr as primary domain	Programming Language Implementation and Logic Programming, août 1990.

www.nserc-crsng.gc.ca

Show text Show cached source Open source URL

Compilers; semantics; type systems; semantic analysis; static analysis; programming paradigms; programming techniques; imperative programming; object-oriented programming; logic programming; functional programming; concurrent programming; event-driven programming; scripting languages; generative programming, domain-specific languages; modelling languages (semantics of, compilers for); multi-paradigm programming/modelling; dynamic analysis

Compare text pages Compare HTM pages Open source URL Open target URL Define nserc-crsng.gc.ca as primary domain

Compilateurs; sémantique; systèmes types; analyse sémantique; techniques de programmation; analyse statique; paradigmes de programmation; techniques de programmation; programmation impérative; programmation orientée objet; programmation logique; programmation fonctionnelle; programmation concurrente; programmation dirigée par les événements; programmation de script; programmation générative, langages thématiques; langages de modélisation (la sémantique et les compilateurs); programmation et modélisation multiparadigmes; analyse dynamique

www.osaka-kasei.co.jp

Show text Show cached source Open source URL

Data as a model of reality, logical models of databases. Theory of relational databases. Query languages. Concurrency, transactions and distributed processes. Knowledge-based system rules, logic programming and object-oriented databases.

Compare text pages Compare HTM pages Open source URL Open target URL Define rmc-cmr.ca as primary domain

Concepts, approches et techniques utilisés dans les systèmes de gestion d'une base de données (DBMS). Les données en tant que modèles de la réalité, modèles logiques de bases de données. Théorie des bases de données relationnelles. Langages de requêtes. Concurrence, transactions et processus distribués. Règles de systèmes de bases de connaissance. Programmation logique et bases de données discutées vers les objets.

2 Hits www.industry.siemens.com

Show text Show cached source Open source URL

Every environment – whether it's configuring hardware, logic programming, parameterisation of a frequency converter or designing an HMI screen – has the same editor design that is geared specifically towards saving time and money.

Compare text pages Compare HTM pages Open source URL Open target URL Define industry.siemens.com as primary domain

La conception des éditeurs logiciels du TIA Portal s'appuie sur une présentation commune et sur un concept de navigation commun. La configuration d'un matériel, la programmation logique, le paramétrage d'un variateur ou la conception d'une image IHM ‒ chaque environnement reprend le même design pour les éditeurs, conçu délibérément dans un esprit d'utilisation intuitive, qui permet d’économiser du temps et de l’argent. Les fonctions, les caractéristiques et les bibliothèques sont affichées automatiquement dans leur vue la plus intuitive – en fonction de l'activité souhaitée - pour tous les composants de sécurité également

silknippels.com

Show text Show cached source Open source URL

The GGP competitions, where any game is represented according to a set of logical rules in the Game Description Language (GDL), have led researches to compare various approaches, including Monte Carlo methods, automatic constructions of evaluation functions, logic programming, and answer set programming through some general game players.

Compare text pages Compare HTM pages Open source URL Open target URL Define cril.univ-artois.fr as primary domain

Développer un programme capable de jouer à n’importe quel jeu de stratégie, souvent désigné par le General Game Playing (GGP) constitue un des Graal de l’intelligence artificielle. Les compétitions GGP, où chaque jeu est représenté par un ensemble de règles logiques au travers du Game Description Language (GDL), ont conduit la recherche à confronter de nombreuses approches incluant les méthodes de type Monte Carlo, la construction automatique de fonctions d’évaluations, ou la programmation logique et ASP. De par cette thèse, nous proposons une nouvelle approche dirigée par les contraintes stochastiques.

www.lix.polytechnique.fr

Show text Show cached source Open source URL

Although much of their research work is theoretical, team members have participated in the construction of a number of computer systems in recent years to implement a variety of topics. These include a logic programming language (λProlog), a model checker (Bedwyr), and two proof assistants (Abella, Tac).

Compare text pages Compare HTM pages Open source URL Open target URL Define lix.polytechnique.fr as primary domain

L’INRIA est un institut de recherche spécialisé dans les sciences et technologies de l'information et de la communication (STIC). 3600 personnes travaillent dans ses centres de recherche implantés dans sept régions. Le centre de recherche de Saclay compte environ 200 personnes, réparties dans une dizaine d’équipes de recherche et dans des services d'appui à la recherche. L'équipe de recherche Parsifal travaille sur la logique de calcul et la structure des preuves formelles. Bien qu'une grande partie de l'équipe de recherche est théorique, membres de l'équipe ont participé à la construction d'un certain nombre de systèmes informatiques de ces dernières années pour mettre en œuvre une variété de sujets. S'agit notamment d'un langage de programmation logique (λProlog), un model checker (Bedwyr), et les assistant de preuve (Abella, Tac). Bien que tous ces systèmes sont mis en œuvre dans le langage de programmation (OCaml) même et tous les aspects d'application de la même logique, ils ne sont pas actuellement en mesure d'interopérer. Il ya, cependant, plusieurs applications dans lesquelles la coordination de ces outils est très utile. Pour plus d'informations sur Parsifal et ces systèmes logiciels, visite http://www.lix.polytechnique.fr/parsifal/.

logic programming – French Translation – Keybot Dictionary