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

Jean-Pierre Finance

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

Keyphrases

formal analysis
artificial intelligence
relational databases
logic programs
knowledge acquisition
contextual information