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 deduction

Static Analysis
Static Analysis
    kr. 534,95
    Automated Deduction - CADE-19
    Automated Deduction - CADE-19
      kr. 414,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
          Frontiers of Combining Systems
          Frontiers of Combining Systems
            kr. 469,95
            Discovery Science
            Discovery Science
              kr. 414,95
              Advances in Computing Science - ASIAN'98
              Advances in Computing Science - ASIAN'98
                kr. 414,95
                Automated Deduction in Classical and Non-Classical Logics
                Automated Deduction in Classical and Non-Classical Logics
                  kr. 414,95
                  Frontiers of Combining Systems
                  Frontiers of Combining Systems
                    kr. 414,95
                    Progress in Artificial Intelligence
                    Progress in Artificial Intelligence
                      kr. 414,95
                      Automated Deduction - CADE-17
                      Automated Deduction - CADE-17
                        kr. 414,95
                        Automated Reasoning with Analytic Tableaux and Related Methods
                        Automated Reasoning with Analytic Tableaux and Related Methods
                          kr. 414,95
                          Computer Aided Verification
                          Computer Aided Verification
                            kr. 774,95
                            Computer Science Logic
                            Computer Science Logic
                              kr. 774,95
                              Computational Logic — CL 2000
                              Computational Logic — CL 2000
                                kr. 414,95
                                Theorem Proving in Higher Order Logics
                                Theorem Proving in Higher Order Logics
                                  kr. 414,95
                                  Automated Deduction - CADE-14
                                  Automated Deduction - CADE-14
                                    kr. 414,95
                                    Automated Deduction in Geometry
                                    Automated Deduction in Geometry
                                      kr. 414,95
                                      Artificial Intelligence Today
                                      Artificial Intelligence Today
                                        kr. 414,95
                                        Advanced Topics in Artificial Intelligence
                                        Advanced Topics in Artificial Intelligence
                                          kr. 414,95
                                          Automated Deduction - CADE-15
                                          Automated Deduction - CADE-15
                                            kr. 414,95
                                            Computer Aided Verification
                                            Computer Aided Verification
                                              kr. 774,95
                                              Automated Deduction in Geometry
                                              Automated Deduction in Geometry
                                                kr. 414,95
                                                Logic Programming and Nonmonotonic Reasoning
                                                Logic Programming and Nonmonotonic Reasoning
                                                  kr. 414,95
                                                  Case-Based Reasoning Research and Development
                                                  Case-Based Reasoning Research and Development
                                                    kr. 774,95
                                                    Logic Programming and Nonmonotonic Reasoning
                                                    Logic Programming and Nonmonotonic Reasoning
                                                      kr. 414,95
                                                      Automated Reasoning with Analytic Tableaux and Related Methods
                                                      Automated Reasoning with Analytic Tableaux and Related Methods
                                                        kr. 414,95
                                                        Logical Foundations of Computer Science
                                                        Logical Foundations of Computer Science
                                                          kr. 414,95
                                                          Automated Deduction - CADE-21
                                                          Automated Deduction - CADE-21
                                                            kr. 414,95
                                                            Automated Reasoning with Analytic Tableaux and Related Methods
                                                            Automated Reasoning with Analytic Tableaux and Related Methods
                                                              kr. 414,95
                                                              Computer Aided Verification
                                                              Computer Aided Verification
                                                                kr. 414,95
                                                                Frontiers of Combining Systems
                                                                Frontiers of Combining Systems
                                                                  kr. 414,95
                                                                  Logical Foundations of Computer Science
                                                                  Logical Foundations of Computer Science
                                                                    kr. 414,95
                                                                    Proof Theory of Modal Logic
                                                                    Proof Theory of Modal Logic
                                                                      kr. 1.084,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