Étude et implémentation d'un système de déduction pour logique algorithmique
Françoise Garcia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Françoise Garcia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
P. Enjalbert (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
P. Jouvelot, P. Feautrier (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
G. Blanc, K. Liogier (1997)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean-Paul Delahaye (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Bernard Robinet, François Nozick (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Dominique Mery (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: