First-Order Logic and Automated Theorem Proving
Melvin Fitting
Broschiertes Buch

First-Order Logic and Automated Theorem Proving

Versandkostenfrei!
Versandfertig in 1-2 Wochen
64,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
32 °P sammeln!
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To b...