Automated Practical Reasoning
Algebraic Approaches
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 betw…
Mehr
CHF 106.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Wang, Dongming (Hrsg.)
- ISBN: 978-3-7091-6604-8
- EAN: 9783709166048
- Produktnummer: 37161248
- Verlag: Springer Vienna
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 223 S.
- Plattform: PDF
- Auflage: 1995
1 weiteres Werk von Jochen (Hrsg.) Pfalzgraf:
Bewertungen
Anmelden