Produktbild
Jochen (Hrsg.) Pfalzgraf

Automated Practical Reasoning

Algebraic Approaches

Ebook (PDF Format)

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)

Versandfertig innerhalb 1-3 Werktagen
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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.