Automated Practical Reasoning (eBook, PDF)
eBook, PDF

Automated Practical Reasoning (eBook, PDF)

Algebraic Approaches

Redaktion: Pfalzgraf, Jochen; Wang, Dongming
Versandkostenfrei!
Sofort per Download lieferbar
62,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
PAYBACK Punkte
31 °P sammeln!
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 cont...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.