Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur

Filtrér resultat

Vælg pris

Alle bøger om Automated theorem proving

Alan Turing's Systems of Logic
Alan Turing's Systems of Logic
    kr. 149,95
    Logics for Computer Science
    Logics for Computer Science
    kr. 944,95
    Automation of Reasoning
    Automation of Reasoning
      kr. 774,95
      The Efficiency of Theorem Proving Strategies
      The Efficiency of Theorem Proving Strategies
      kr. 414,95
      Automated Theorem Proving
      Automated Theorem Proving
      kr. 744,95
      Transactions on Engineering Technologies
      Transactions on Engineering Technologies
        kr. 1.474,95
        Transactions on Engineering Technologies
        Transactions on Engineering Technologies
          kr. 1.474,95
          Proofs and Algorithms
          Proofs and Algorithms
          kr. 299,95
          Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
          Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
            kr. 1.474,95
            Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
            Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
              kr. 1.229,95
              Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
              Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
                kr. 2.559,95
                Invariant Methods in Discrete and Computational Geometry
                Invariant Methods in Discrete and Computational Geometry
                  kr. 874,95
                  Computation, Logic, Philosophy
                  Computation, Logic, Philosophy
                  kr. 874,95
                  Automated Technology for Verification and Analysis
                  Automated Technology for Verification and Analysis
                    kr. 419,95
                    First-Order Logic and Automated Theorem Proving
                    First-Order Logic and Automated Theorem Proving
                    kr. 654,95
                    Beyond Two: Theory and Applications of Multiple-Valued Logic
                    Beyond Two: Theory and Applications of Multiple-Valued Logic
                      kr. 1.084,95
                      Beyond Two: Theory and Applications of Multiple-Valued Logic
                      Beyond Two: Theory and Applications of Multiple-Valued Logic
                        kr. 1.249,95
                        Transactions on Engineering Technologies
                        Transactions on Engineering Technologies
                          kr. 1.084,95
                          Transactions on Engineering Technologies
                          Transactions on Engineering Technologies
                            kr. 1.084,95
                            Term Indexing
                            Term Indexing
                            kr. 414,95
                            Automated Deduction in Equational Logic and Cubic Curves
                            Automated Deduction in Equational Logic and Cubic Curves
                            kr. 414,95
                            Logic Programming and Automated Reasoning
                            Logic Programming and Automated Reasoning
                              kr. 414,95
                              Design and Implementation of Symbolic Computation Systems
                              Design and Implementation of Symbolic Computation Systems
                                kr. 414,95
                                Progress in Artificial Intelligence
                                Progress in Artificial Intelligence
                                  kr. 414,95
                                  Logics in AI
                                  Logics in AI
                                    kr. 414,95
                                    Extensions of Logic Programming
                                    Extensions of Logic Programming
                                      kr. 414,95
                                      Logics in AI
                                      Logics in AI
                                        kr. 774,95
                                        Recent Trends in Algebraic Development Techniques
                                        Recent Trends in Algebraic Development Techniques
                                          kr. 414,95
                                          Logic Programming and Automated Reasoning
                                          Logic Programming and Automated Reasoning
                                            kr. 414,95
                                            Perspectives on the History of Mathematical Logic
                                            Perspectives on the History of Mathematical Logic
                                              kr. 414,95
                                              Mathematics of Program Construction
                                              Mathematics of Program Construction
                                                kr. 414,95
                                                Advanced Topics in Term Rewriting
                                                Advanced Topics in Term Rewriting
                                                kr. 484,95
                                                Computation, Logic, Philosophy
                                                Computation, Logic, Philosophy
                                                kr. 774,95
                                                Invariant Methods in Discrete and Computational Geometry
                                                Invariant Methods in Discrete and Computational Geometry
                                                  kr. 774,95
                                                  Automated Mathematical Induction
                                                  Automated Mathematical Induction
                                                    kr. 774,95