Herzlich Willkommen!
Mehr Infos: Haupt Newsletter
Mehr Bücher: Haupt Buchhandlung
Zur Startseite gehen
0,00 CHF*
Kategorien

Zu "Theorem Proving" wurden 35 Produkte gefunden

Suchergebnis | hauptverlag

Filter
Verification-based software-fault detection
Verification-based software-fault detection

40,00 CHF*
From formal semantics to verified slicing : a modular framework with applications in language based security
From formal semantics to verified slicing : a modular framework with applications in language based security

37,00 CHF*
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification

107,00 CHF*
Solving Higher-Order Equations
Solving Higher-Order Equations

107,00 CHF*
Modelling Puzzles in First Order Logic
Modelling Puzzles in First Order Logic

53,50 CHF*
Solving Higher-Order Equations
Solving Higher-Order Equations

107,00 CHF*
Automated Deduction - CADE-15
Automated Deduction - CADE-15

53,50 CHF*
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods

53,50 CHF*
Types for Proofs and Programs
Types for Proofs and Programs

53,50 CHF*
Automated Deduction in Geometry
Automated Deduction in Geometry

53,50 CHF*
Higher Order Logic Theorem Proving and Its Applications
Higher Order Logic Theorem Proving and Its Applications

53,50 CHF*
Integrating Symbolic Mathematical Computation and Artificial Intelligence
Integrating Symbolic Mathematical Computation and Artificial Intelligence

53,50 CHF*
Automated Deduction - CADE-16
Automated Deduction - CADE-16

53,50 CHF*
Guide to Discrete Mathematics
Guide to Discrete Mathematics

69,55 CHF*
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification

120,00 CHF*
Automated Technology for Verification and Analysis
Demnächst
Neu
Automated Technology for Verification and Analysis

160,50 CHF*
Details
Automated Technology for Verification and Analysis
Demnächst
Neu
Automated Technology for Verification and Analysis

139,10 CHF*
Details
Automated Deduction in Classical and Non-Classical Logics
Automated Deduction in Classical and Non-Classical Logics

53,50 CHF*
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics

53,50 CHF*
Automated Deduction — CADE-12
Automated Deduction — CADE-12

53,50 CHF*
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods

53,50 CHF*
The Efficiency of Theorem Proving Strategies
The Efficiency of Theorem Proving Strategies

53,50 CHF*
Rewriting Techniques and Applications
Rewriting Techniques and Applications

53,50 CHF*
Automated Reasoning
Automated Reasoning

0,00 CHF*
Details
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...