Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

Cover of: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series) |

Published by Springer .

Written in English

Read online

Subjects:

  • Artificial intelligence,
  • Mathematical logic,
  • Mathematical theory of computation,
  • Logic,
  • Computers - General Information,
  • Expert Systems,
  • Programming - Software Development,
  • Automatic theorem proving,
  • Computers / Expert Systems,
  • Computers-Programming - Software Development,
  • Logic, Symbolic and mathematical,
  • Philosophy / Logic,
  • Philosophy-Logic

Edition Notes

Book details

ContributionsW. Bibel (Editor), P.H. Schmitt (Editor)
The Physical Object
FormatHardcover
Number of Pages500
ID Numbers
Open LibraryOL7808692M
ISBN 100792351290
ISBN 109780792351290

Download Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

30034 views Sunday, November 1, 2020