Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Casteran, Pierre

656,09 DKK

Constraint-Programmierung

Constraint-Programmierung

Abdennadher, Slim

128,48 DKK

Präzises Denken für Informatiker

Präzises Denken für Informatiker

Wolf, Karsten

209,76 DKK

Präzises Denken für Informatiker

Präzises Denken für Informatiker

Wolf, Karsten

209,76 DKK

First-Order Logic

First-Order Logic

Smullyan, Raymond R.

436,85 DKK

Foundations of Computability Theory

Foundations of Computability Theory

Robic, Borut

509,93 DKK

Theoretische Informatik

Theoretische Informatik

Erk, Katrin

253,01 DKK

Metamathematische Methoden in der Geometrie

Metamathematische Methoden in der Geometrie

Tarski, A.

403,64 DKK

Foundations of Mathematics

Foundations of Mathematics

Hahn, S.W.

436,85 DKK

Algebra für Informatiker

Algebra für Informatiker

Zeilinger, G.

265,81 DKK

Mathematik für Software Engineering

Mathematik für Software Engineering

Dreiseitl, Stephan

253,01 DKK

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction

Guo, Meiyun

436,85 DKK

Towards Efficient Fuzzy Information Processing

Towards Efficient Fuzzy Information Processing

Shi, Yong

875,33 DKK

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction

Guo, Meiyun

436,85 DKK

Completeness Theory for Propositional Logics

Completeness Theory for Propositional Logics

Wojtylak, Piotr

436,85 DKK

Institution-independent Model Theory

Institution-independent Model Theory

Diaconescu, Razvan

802,25 DKK

Introduction to Fuzzy Logic and Fuzzy Sets

Introduction to Fuzzy Logic and Fuzzy Sets

Eslami, Esfandiar

509,93 DKK

Die Gödel'schen Unvollständigkeitssätze

Die Gödel'schen Unvollständigkeitssätze

Hoffmann, Dirk W.

128,48 DKK

Einführung in die Mathematische Logik

Einführung in die Mathematische Logik

Rautenberg, Wolfgang

161,96 DKK

Grenzen der Mathematik

Grenzen der Mathematik

Hoffmann, Dirk W.

209,76 DKK

New Directions in Paraconsistent Logic

New Directions in Paraconsistent Logic

Dutta, Soma

1240,73 DKK

Dominated Operators

Dominated Operators

Kusraev, A.G.

1240,73 DKK

Reasoning with Actual and Potential Contradictions

Reasoning with Actual and Potential Contradictions

Smets, Philippe

1240,73 DKK

Mathematical Thought

Mathematical Thought

Beth, E.W.

1240,73 DKK

Asymptotic Attainability

Asymptotic Attainability

Chentsov, A.G.

1240,73 DKK

Handbook of Metric Fixed Point Theory

Handbook of Metric Fixed Point Theory

Sims, B.

1240,73 DKK

Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God

Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God

Suarez, Antoine

875,33 DKK

Interpolation Theory and Its Applications

Interpolation Theory and Its Applications

Sakhnovich, Lev A.

436,85 DKK

Reasoning in Quantum Theory

Reasoning in Quantum Theory

Greechie, Richard

1240,73 DKK

Proof, Computation and Agency

Proof, Computation and Agency

Parikh, Rohit

1240,73 DKK