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 Higher-order logic

Rules on the Web: From Theory to Applications
Rules on the Web: From Theory to Applications
    kr. 414,95
    Mathematical Logic and Theoretical Computer Science
    Mathematical Logic and Theoretical Computer Science
    kr. 2.364,95
    Verified Software: Theories, Tools and Experiments
    Verified Software: Theories, Tools and Experiments
      kr. 379,95
      Formal Methods and Software Engineering
      Formal Methods and Software Engineering
        kr. 414,95
        Philosophy of Logical Systems
        Philosophy of Logical Systems
        kr. 399,95
        Formalization of Complex Analysis and Matrix Theory
        Formalization of Complex Analysis and Matrix Theory
        kr. 1.054,95
        Formalization of Complex Analysis and Matrix Theory
        Formalization of Complex Analysis and Matrix Theory
        kr. 1.054,95
        Mathematical Logic and Theoretical Computer Science
        Mathematical Logic and Theoretical Computer Science
        kr. 3.234,95
        Higher Order Logic Theorem Proving and Its Applications
        Higher Order Logic Theorem Proving and Its Applications
          kr. 414,95
          NASA Formal Methods
          NASA Formal Methods
            kr. 534,95
            Typed Lambda Calculi and Applications
            Typed Lambda Calculi and Applications
              kr. 414,95
              Types for Proofs and Programs
              Types for Proofs and Programs
                kr. 414,95
                Logic for Learning
                Logic for Learning
                kr. 414,95
                Higher-Order Algebra, Logic, and Term Rewriting
                Higher-Order Algebra, Logic, and Term Rewriting
                  kr. 414,95
                  Inductive Logic Programming
                  Inductive Logic Programming
                    kr. 414,95
                    Relational and Algebraic Methods in Computer Science
                    Relational and Algebraic Methods in Computer Science
                      kr. 459,95
                      Reasoning Web. Web Logic Rules
                      Reasoning Web. Web Logic Rules
                        kr. 414,95
                        Verified Software: Theories, Tools, and Experiments
                        Verified Software: Theories, Tools, and Experiments
                          kr. 414,95
                          Frontiers of Combining Systems
                          Frontiers of Combining Systems
                            kr. 414,95
                            Automated Deduction - CADE-25
                            Automated Deduction - CADE-25
                              kr. 414,95
                              Rule Technologies: Foundations, Tools, and Applications
                              Rule Technologies: Foundations, Tools, and Applications
                                kr. 414,95
                                Philosophy of Logical Systems
                                Philosophy of Logical Systems
                                kr. 1.289,95
                                Theorem Proving in Higher Order Logics
                                Theorem Proving in Higher Order Logics
                                  kr. 414,95
                                  Modes of Truth
                                  Modes of Truth
                                    kr. 1.289,95
                                    Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)
                                    Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)
                                    kr. 1.289,95
                                    Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)
                                    Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)
                                    kr. 499,95
                                    Philosophy of Logic (Routledge Revivals)
                                    Philosophy of Logic (Routledge Revivals)
                                    kr. 419,95
                                    Automata for Branching and Layered Temporal Structures
                                    Automata for Branching and Layered Temporal Structures
                                    kr. 414,95
                                    Philosophy of Logic (Routledge Revivals)
                                    Philosophy of Logic (Routledge Revivals)
                                    kr. 1.034,95
                                    Computer Science Logic
                                    Computer Science Logic
                                      kr. 1.119,95
                                      Multi-Agent Systems
                                      Multi-Agent Systems
                                        kr. 1.084,95
                                        Intelligent Computer Mathematics
                                        Intelligent Computer Mathematics
                                          kr. 354,95
                                          Automated Reasoning with Analytic Tableaux and Related Methods
                                          Automated Reasoning with Analytic Tableaux and Related Methods
                                            kr. 494,95
                                            Simple Type Theory
                                            Simple Type Theory
                                            kr. 569,95
                                            Computer Science Logic
                                            Computer Science Logic
                                              kr. 414,95