Automated theorem proving in mathematics

Automated theorem proving in mathematics

Dominique Pastre
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
8
Année:
1993
Langue:
english
Pages:
23
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/bf01530801
Fichier:
PDF, 1.58 MB
english, 1993
La conversion en est effectuée
La conversion en a échoué