Menu
Home
Help and information
About this website
Privacy Policy
P. H. Schmitt
1 published title
Automated deduction : a basis for applications
(Contributor)
1 edition
ISBN: 0792351312
Kluwer Academic
1998
Details