Automated Practical Reasoning : Algebraic Approaches /

This book presents a collection of articles on the general framework of mechanizing deduction in the logics of practical reasoning. Topics treated are novel approaches in the field of constructive algebraic methods (theory and algorithms) to handle geometric reasoning problems, especially in robotic...

Full description

Bibliographic Details

Main Author:	Pfalzgraf, Jochen
Corporate Author:	SpringerLink (Online service)
Other Authors:	Wang, Dongming
Format:	eBook
Language:	English
Published:	Vienna : Springer Vienna, 1995.
Series:	Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes-Kepler-University, Linz, Austria.
Subjects:	Computer science. Software engineering. Algebra > Data processing. Algorithms. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book