axiomatisation de programme

Désignations

français	axiomatisation de programme (correct,feminine noun) CONT: axiomatisation idéale OBS: On a aussi rencontré les expressions ""axiomatisabilité"" et ""programme axiomatisable"" dans le contexte de la programmation logique.
anglais	program axiomizing (correct)

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: Représentation d'un programme sous la forme d'un système axiomatique en vue de sa fabrication automatique.

Classement

Collections

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-0436f66c75ca06a2/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.