Accueil
Abécédaire
Recherche Avancée
Intranet
Contact
Nouvelle Encyclopédie Diderot
Retour à la page précédente
Imprimer
Envoyer le lien
Document(s)
Collectif
Le Concept de preuve à la lumière de l'intelligence artificielle
Sous la direction de :
Jean-Jacques SZCZECINIARZ, Jean SALLANTIN
Presses Universitaires de France - 1999
Collection
Nom :
Nouvelle Encyclopédie Diderot
Éditeur :
Presses Universitaires de France
ISSN :
1147-5099