Erweiterte Suche

Grid  List

  1. Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Andrei Voronkov
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    02.10.2002

    ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti?c...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Methods of Cut-Elimination Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch
    Springer Netherlands
    25.02.2013

    This is the first book on cut-elimination in first-order predicate logic from an algorithmic poin...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Science Logic Computer Science Logic

    Computer Science Logic

    Johann M. Makowsky
    Springer Berlin Heidelberg
    18.08.2003

     This book constitutes the joint refereed proceedings of the 17th International Workshop on Compu...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Methods of Cut-Elimination Methods of Cut-Elimination

    Methods of Cut-Elimination

    Matthias Baaz
    Springer
    17.01.2011

    This is the first book on cut-elimination in first-order predicate logic from an algorithmic poin...

    Gebunden
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Kurt Godel and the Foundations of Mathematics Kurt Godel and the Foundations of Mathematics

    Kurt Godel and the Foundations of Mathematics

    Matthias Baaz
    Cambridge University Press
    01.06.2011

    This volume commemorates the life, work and foundational views of Kurt Gödel (1906-78), most famo...

    Gebunden
    135,20 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Kurt Godel and the Foundations of Mathematics Kurt Godel and the Foundations of Mathematics

    Kurt Godel and the Foundations of Mathematics

    Matthias Baaz
    Cambridge University Press
    17.10.2013

    This volume commemorates the life, work and foundational views of Kurt Gödel (1906-78), most famo...

    Taschenbuch
    52,40 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1