
Automated theorem proving in mathematics
Dominique PastreVolume:
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