Bledsoe, W.W. (ed) & Loveland, D.W. (ed)

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).


  1. Cote: 10173. En rayon: classement par collection.
  2. Cote: 10326. En rayon: classement par collection. Exclu du prÍt.