Automated deduction
Subtitle: a basis for applications
By: edited by Wolfgang Bibel and Peter H. Schmitt.
Contributors: Bibel, W., 1938-; Schmitt, P. H. 1948-
Series: Applied logic series ;; v. 8-10
Publisher: Kluwer Academic Publishers
Published: 1998
Place of publication: Dordrecht; Boston
Language: eng
Subjects: Automatic theorem proving; Logic, Symbolic and mathematical
Notes: Includes bibliographical references and index.
Table of contents: title: v. 1. Foundations - Calculi and methods; title: v. 2. Systems and implementation techniques; title: v. 3. Applications.