Overview

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 robotics and automated geometry theorem proving; constructive algebraic geometry of curves and surfaces showing some new interesting aspects; implementational issues concerning the use of computer algebra systems to deal with such algebraic methods. Besides work on nonmonotonic logic and a proposed approach for a unified treatment of critical pair completion procedures, a new semantical modeling approach based on the concept of fibered structures is discussed; an application to cooperating robots is demonstrated.

Full Product Details

Author:   J. Cunningham ,  Jochen Pfalzgraf (University of Linz, Austria) ,  Dongming Wang
Publisher:   Springer Verlag GmbH
Imprint:   Springer Verlag GmbH
Edition:   Softcover Reprint of the Origi ed.
Dimensions:   Width: 13.80cm , Height: 1.00cm , Length: 21.60cm
Weight:   0.460kg
ISBN:  

9783211826003

ISBN 10:   3211826009
Pages:   234
Publication Date:   February 1995
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions