Grid   List

  1. Methods of Cut-Elimination

    Methods of Cut-Elimination

    Matthias Baaz
    Springer Netherlands
    Ebook
    Sofort lieferbar

    This book on methods of cut-elimination contain...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Automated Reasoning

    Automated Reasoning

    Rajeev Gore
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. The Resolution Calculus

    The Resolution Calculus

    Alexander Leitsch
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This is a completely new presentation of resolu...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Automated Model Building

    Automated Model Building

    Ricardo Caferra
    Springer Netherlands
    Ebook
    Sofort lieferbar

    On the history of the book: In the early 1990s ...

    149,79 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch
    Springer Netherlands
    Taschenbuch
    Print on Demand

    This is the first book on cut-elimination in fi...

    147,76 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. Automated Model Building

    Automated Model Building

    Ricardo Caferra
    Springer Netherlands
    Taschenbuch
    Print on Demand

    On the history of the book: In the early 1990s ...

    218,99 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  7. Computational Logic and Proof Theory

    Computational Logic and Proof Theory

    Georg Gottlob
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    The Third Kurt G|del Symposium, KGC'93, held in...

    64,19 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. The Resolution Calculus

    The Resolution Calculus

    Alexander Leitsch
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    The History of the Book In August 1992 the auth...

    85,55 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Computational Logic and Proof Theory

    Computational Logic and Proof Theory

    Georg Gottlob
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    85,59 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Automated Reasoning

    Automated Reasoning

    Rajeev Gore
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    associated workshops and produced their own sep...

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  11. Methods of Cut-Elimination

    Methods of Cut-Elimination

    Matthias Baaz
    Springer
    Buch
    Besorgungstitel - wird vorgemerkt

    This book on methods of cut-elimination contain...

    114,89 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Automated Model Building

    Automated Model Building

    Ricardo Caferra
    Springer
    Buch
    Besorgungstitel - wird vorgemerkt

    On the history of the book: In the early 1990s ...

    233,38 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga