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 spielenDozenten, die Material und Beispiele für Beweistechniken benötigen
    29,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 one of the most outstanding and most productive researchers we have ever met. He has exerted a profo...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschied...
    37,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 in the area of logic, language and reasoning. He has exerted a profound influence in the major fiel...
    99,50 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full paper...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 one of the most outstanding and most productive researchers we have ever met. He has exerted a profo...
    64,23 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>