TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

ABSTRACTION PREDICATE [1 fiche]

Fiche 1 2019-04-24

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Artificial Intelligence
CONT

The challenge of automatic abstraction is to identify adequate abstraction predicates that enable us to "merge" states without falsifying verification results.

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Intelligence artificielle

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
  • Inteligencia artificial
Conserver la fiche 1

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :