NDLTD Global ETD Search
New Search
Return to search
Définition et utilisation des S-L graphes en démonstration automatique
Description
.
Links & Downloads
http://tel.archives-ouvertes.fr/tel-00286254
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
Page generated in 0.002 seconds