Inhaltsangabe
Automated theorem proving is an important area of research having many applications within computer science. This book is a study of automatic theorem proving techniques (for first-order logic) which are currently attracting widespread interest.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.