Profisuche

hans jürgen ohlbach

Grid   List

  1. Design Patterns für mathematische Beweise

    Design Patterns für mathematische Beweise

    Hans Jürgen Ohlbach
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Studierende der Informatik und anderer Fächer, bei denen mathematische Beweise eine Rolle spielen...

    29,99 €
    Alle Preise inkl. MwSt
  2. Logic, Language and Reasoning

    Logic, Language and Reasoning

    Hans Jürgen Ohlbach
    Springer Netherlands
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  3. Design Patterns für mathematische Beweise

    Design Patterns für mathematische Beweise

    Norbert Eisinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    37,99 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  4. Logic, Language and Reasoning

    Logic, Language and Reasoning

    Dov M Gabbay
    Springer
    Buch
    Bezug 11-15

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

    99,50 €
    Alle Preise inkl. MwSt | zzgl. Versand
  5. Practical Reasoning

    Practical Reasoning

    Hans Jürgen Ohlbach
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Logic, Language and Reasoning

    Logic, Language and Reasoning

    U. Reyle
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Bezug 11-15

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

    64,23 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1