Automated Practical Reasoning Algebraic Approaches / edited by Jochen Pfalzgraf, Dongming Wang.
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...
Full description
Saved in: