Négation constructive et axiomatique interne
G. Blanc, K. Liogier (1997)
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:
M. Hibti, B. Legeard, H. Lombardi (1997)
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:
Laurent Kott (1977)
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:
Bernard Robinet, François Nozick (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean-Baptiste Lagrange (1993)
Publications mathématiques et informatique de Rennes
Similarity:
Jean-Paul Delahaye (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: