Automated Theorem Proving: A Logical Basis by Wolfgang Bibel (English) Paperback
110,69 €
By Wolfgang Bibel. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors.
Jetzt bei Ebay:
