Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (10 chapters)
-
Front Matter
-
Back Matter
About this book
Editors and Affiliations
-
Research Institute for Symbolic Computation, Johannes-Kepler-University Linz, Linz, Austria
Jochen Pfalzgraf
-
Laboratoire d’Informatique Fondamentale et d’Intelligence Artificielle, Institut National Polytechnique de Grenoble, Grenoble, France
Dongming Wang
Bibliographic Information
Book Title: Automated Practical Reasoning
Book Subtitle: Algebraic Approaches
Editors: Jochen Pfalzgraf, Dongming Wang
Series Title: Texts & Monographs in Symbolic Computation
DOI: https://doi.org/10.1007/978-3-7091-6604-8
Publisher: Springer Vienna
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Wien 1995
eBook ISBN: 978-3-7091-6604-8Published: 06 December 2012
Series ISSN: 0943-853X
Series E-ISSN: 2197-8409
Edition Number: 1
Number of Pages: XI, 223
Number of Illustrations: 1 b/w illustrations
Topics: Special Purpose and Application-Based Systems, Programming Techniques, Mathematical Logic and Formal Languages, Algorithms, Symbolic and Algebraic Manipulation, Mathematical Logic and Foundations