automated theorem proving,after 25 years
w. w. bledsoe
automated theorem proving,after 25 years
W. W. Bledsoe (Author) · amer mathematical society · Physical Book
$ 201.04
$ 335.07
You save: $ 134.03
Choose the list to add your product or create one New List
Go to My Wishlistsautomated theorem proving,after 25 years
w. w. bledsoe
Do you have a question about the book? Login to be able to add your own question.
