Une Formalisation de la Sémantique des Langages de Programmation.

Jean-Pierre Finance

Published in: RAIRO Theor. Informatics Appl. (1976)

Keyphrases

formal analysis
legal reasoning
domain knowledge
bayesian networks
expert systems
case based reasoning
relational databases
software engineering
natural language
probabilistic model
description logics
directed graph
normal form