Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0
Zur Startseite gehen
Zur Startseite gehen
0,00 €*

Zu "first-order logic" wurden 32 Produkte gefunden

Filter
HOME
Deductive Software Verification – The KeY Book
Deductive Software Verification – The KeY Book
128,39 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic, Mathematics, and Computer Science
Logic, Mathematics, and Computer Science
50,28 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tests and Proofs
Tests and Proofs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematical Logic
Mathematical Logic
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Model Generation for Natural Language Interpretation and Analysis
Model Generation for Natural Language Interpretation and Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic, Language, Information and Computation
Logic, Language, Information and Computation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logical Foundations of Computer Science
Logical Foundations of Computer Science
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verification, Induction, Termination Analysis
Verification, Induction, Termination Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic, Language and Meaning
Logic, Language and Meaning
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Classical Decision Problem
The Classical Decision Problem
192,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Thinking Programs
Thinking Programs
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic, Rationality, and Interaction
Logic, Rationality, and Interaction
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
New Frontiers in Mining Complex Patterns
New Frontiers in Mining Complex Patterns
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Interactive Theorem Proving
Interactive Theorem Proving
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
KI 2011: Advances in Artificial Intelligence
KI 2011: Advances in Artificial Intelligence
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Language Engineering and Rigorous Software Development
Language Engineering and Rigorous Software Development
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematical Logic
Mathematical Logic
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic, Mathematics, and Computer Science
Logic, Mathematics, and Computer Science
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
New Frontiers in Mining Complex Patterns
New Frontiers in Mining Complex Patterns
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...