Erweiterte Suche

Grid  List

  1. Design Patterns für mathematische Beweise Design Patterns für mathematische Beweise

    Design Patterns für mathematische Beweise

    Norbert Eisinger
    Springer Berlin Heidelberg
    14.09.2017

    Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis...

    Taschenbuch
    37,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Temporal Logic Temporal Logic

    Temporal Logic

    Hans J. Ohlbach
    Springer Berlin Heidelberg
    29.06.1994

    This volume constitutes the proceedings of the First International Conference on Temporal Logic (...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logic, Language and Reasoning Logic, Language and Reasoning

    Logic, Language and Reasoning

    Dov M Gabbay
    Springer
    30.06.1999

    This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 106,50 €

    Jetzt 85,55 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. GWAI-92: Advances in Artificial Intelligence GWAI-92: Advances in Artificial Intelligence

    GWAI-92: Advances in Artificial Intelligence

    Hans J. Ohlbach
    Springer Berlin Heidelberg
    28.05.1993

    This volume gives the proceedings of the sixteenth GermanConference on Artificial Intelligence, h...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Qualitative and Quantitative Practical Reasoning Qualitative and Quantitative Practical Reasoning

    Qualitative and Quantitative Practical Reasoning

    Dov Gabbay
    Springer Berlin Heidelberg
    28.05.1997

    This book constitutes the refereed proceedings of the First International Joint Conference on Qua...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Principles and Practice of Semantic Web Reasoning Principles and Practice of Semantic Web Reasoning

    Principles and Practice of Semantic Web Reasoning

    Sebastian Schaffert
    Springer Berlin Heidelberg
    02.09.2004

    The best informal de?nition of the Semantic Web is maybe found in the May 2001Scienti?cAmericanar...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Logic, Language and Reasoning Logic, Language and Reasoning

    Logic, Language and Reasoning

    U. Reyle
    Springer Netherlands
    16.10.2012

    th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Practical Reasoning Practical Reasoning

    Practical Reasoning

    Hans Jürgen Ohlbach
    Springer Berlin Heidelberg
    21.05.1996

    This book constitutes the refereed proceedings of the International Conference on Formal and Appl...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1