Automated theorem proving : after 25 years. Proceedings of the special session, 89th annual meeting of the AMS held in Denver, Colorado, January 5-9, 1983.
- American Mathematical Society, 1984.
- (
Contemporary Mathematics
; 29).
Cote: 10173. En rayon: classement par collection.
Cote: 10326. En rayon: classement par collection. Exclu du prêt.