Bokus

Jochen Pfalzgraf – författare

Visar alla böcker från författaren Jochen Pfalzgraf. Handla med fri frakt och snabb leverans.

2 produkter

  1. Jaques Calmet, John A. Campbell, Jochen Pfalzgraf - Artificial Intelligence and Symbolic Mathematical Computation, Häftad. Tillgänglighet: Lägg i varukorg

    Artificial Intelligence and Symbolic Mathematical Computation

    International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

    Av Jaques Calmet, John A. Campbell m. fl.

    Häftad, 1996

    568 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book were carefully selected by the program …

  2. Dongming Wang, Jochen Pfalzgraf - Automated Practical Reasoning, E-bok. Tillgänglighet: Lägg i varukorg

    Automated Practical Reasoning

    Algebraic Approaches

    Av Dongming Wang, Jochen Pfalzgraf

    E-bok, 2012

    1174 kr

    Lägg i varukorg

    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 …