Définition et utilisation des S-L graphes en démonstration automatique

Description

.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00286254
2. http://tel.archives-ouvertes.fr/docs/00/28/62/54/PDF/Thses_Saya.Henri_1975.pdf

Tags

intelligence artificielle

questions-réponses

documentation

programmes

programmation

compilation

décision

procédure de preuve

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00286254
Date	15 March 1975
Creators	Saya, Henri
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis