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 Nonclassical logics

Time & Logic
Time & Logic
    kr. 1.159,95
    Time & Logic
    Time & Logic
      kr. 334,95
      Automated Reasoning
      Automated Reasoning
        kr. 774,95
        Logic Programming and Nonmonotonic Reasoning
        Logic Programming and Nonmonotonic Reasoning
          kr. 414,95
          Proof Theory and Algebra in Logic
          Proof Theory and Algebra in Logic
          kr. 319,95
          Nonclassical Logics and Their Applications
          Nonclassical Logics and Their Applications
            kr. 1.009,95
            Nonclassical Logics and Their Applications
            Nonclassical Logics and Their Applications
              kr. 774,95
              Proof, Logic and Formalization
              Proof, Logic and Formalization
                kr. 509,95
                Theorem Proving with Analytic Tableaux and Related Methods
                Theorem Proving with Analytic Tableaux and Related Methods
                  kr. 414,95
                  Foundations of Knowledge Representation and Reasoning
                  Foundations of Knowledge Representation and Reasoning
                    kr. 414,95
                    Logic Programming and Automated Reasoning
                    Logic Programming and Automated Reasoning
                      kr. 414,95
                      Temporal Logic
                      Temporal Logic
                        kr. 774,95
                        Theorem Proving with Analytic Tableaux and Related Methods
                        Theorem Proving with Analytic Tableaux and Related Methods
                          kr. 414,95
                          Computational Logic and Proof Theory
                          Computational Logic and Proof Theory
                            kr. 414,95
                            Logic Programming and Nonmonotonic Reasoning
                            Logic Programming and Nonmonotonic Reasoning
                              kr. 414,95
                              Vivid Logic
                              Vivid Logic
                              kr. 414,95
                              Logics of Variable Inclusion
                              Logics of Variable Inclusion
                              kr. 869,95
                              Logics of Variable Inclusion
                              Logics of Variable Inclusion
                              kr. 874,95
                              Automated Deduction in Classical and Non-Classical Logics
                              Automated Deduction in Classical and Non-Classical Logics
                                kr. 414,95
                                Qualitative and Quantitative Practical Reasoning
                                Qualitative and Quantitative Practical Reasoning
                                  kr. 774,95
                                  Automated Deduction - CADE-15
                                  Automated Deduction - CADE-15
                                    kr. 414,95
                                    Logic Programming and Nonmonotonic Reasoning
                                    Logic Programming and Nonmonotonic Reasoning
                                      kr. 414,95
                                      Logic Programming and Nonmonotonic Reasoning
                                      Logic Programming and Nonmonotonic Reasoning
                                        kr. 414,95
                                        Computational Logic and Proof Theory
                                        Computational Logic and Proof Theory
                                          kr. 414,95
                                          Conditionals in Nonmonotonic Reasoning and Belief Revision
                                          Conditionals in Nonmonotonic Reasoning and Belief Revision
                                          kr. 414,95
                                          Non-Standard Inferences in Description Logics
                                          Non-Standard Inferences in Description Logics
                                          kr. 414,95
                                          Computer Science Logic
                                          Computer Science Logic
                                            kr. 774,95
                                            Handbook of Philosophical Logic
                                            Handbook of Philosophical Logic
                                              kr. 1.229,95
                                              Logic Works
                                              Logic Works
                                              kr. 1.299,95
                                              Proof, Logic and Formalization
                                              Proof, Logic and Formalization
                                                kr. 1.289,95
                                                Logic Works
                                                Logic Works
                                                kr. 494,95
                                                Proof Theory
                                                Proof Theory
                                                kr. 999,95
                                                Proof Theory
                                                Proof Theory
                                                kr. 544,95