Same great content, now more affordable: Apress Access for only $/£/€ 99. Subcribe now >>>

Texts & Monographs in Symbolic Computation

Automated Practical Reasoning

Algebraic Approaches

Editors: Pfalzgraf, Jochen, Wang, Dongming (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-6604-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
About this book

This book is a collection of selected papers written by researchers qf our "RISC" institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical Reason­ ing). Naturally, the MEDLAR Project was and is the focal point for our institute whose main objective is the combination of foundational research in the area of symbolic computation and possible applications thereof for high-tech industrial projects. I am grateful to the director of the MEDLAR project, Jim Cunningham, for his enthusiasm, profound expertise, and continuous effort to manage a fruitful cooperation between various European working groups in the area of the project and for giving us the opportunity to be part of this challenging endeavor. I also acknowledge and feel indebted to Jochen Pfalzgraf for managing the RISC part of the MEDLAR project and to both him and Dongming Wang for editing this volume and organizing the refereeing process.

Table of contents (10 chapters)

Table of contents (10 chapters)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-6604-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Practical Reasoning
Book Subtitle
Algebraic Approaches
Editors
  • Jochen Pfalzgraf
  • Dongming Wang
Series Title
Texts & Monographs in Symbolic Computation
Copyright
1995
Publisher
Springer-Verlag Wien
Copyright Holder
Springer-Verlag Wien
eBook ISBN
978-3-7091-6604-8
DOI
10.1007/978-3-7091-6604-8
Series ISSN
0943-853X
Edition Number
1
Number of Pages
XI, 223
Number of Illustrations
1 b/w illustrations
Topics