Automated deduction : a basis for applications

Bibliographic Information

Automated deduction : a basis for applications

edited by Wolfgang Bibel and Peter H. Schmitt

(Applied logic series, v.8-10)

Kluwer Academic, c1998

  • set
  • v.1
  • v.2
  • v.3

Available at  / 21 libraries

Search this Book/Journal

Note

Includes bibliographies and indexes

Contents of Works

  • v.1. Foundations. calculi and methods
  • v.2. Systems and implementation techniques
  • v.3. Applications

Related Books: 1-1 of 1

Details

Page Top