Kategorien

Zu "Begründung / Beweis" wurden 24 Produkte gefunden

Filter
–
Beweisverständnis von Studierenden
Beweisverständnis von Studierenden Neuhaus-Eckhardt, Silke

39,90 €*
Organon / Organon. Band 3/4: Erste Analytik / Zweite Analytik
Organon / Organon. Band 3/4: Erste Analytik / Zweite Analytik Aristoteles

48,00 €*
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Applied Proof Theory: Proof Interpretations and their Use in Mathematics Kohlenbach, Ulrich

139,09 €*
Beweis und Gewissen.
Beweis und Gewissen. Klein, Martin

24,90 €*
Rewriting, Computation and Proof
Rewriting, Computation and Proof

53,49 €*
Deduction, Computation, Experiment
Deduction, Computation, Experiment

106,99 €*
Automated Deduction in Classical and Non-Classical Logics
Automated Deduction in Classical and Non-Classical Logics

53,49 €*
Human Interactive Proofs
Human Interactive Proofs

53,49 €*
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics

53,49 €*
The Efficiency of Theorem Proving Strategies
The Efficiency of Theorem Proving Strategies Zhu, Yunshan, Plaisted, David A.

53,49 €*
Beweissicherung im Bauwesen
Beweissicherung im Bauwesen Keldungs, Karl-Heinz

69,99 €*
Computer Aided Verification
Computer Aided Verification

106,99 €*
Mechanical Theorem Proving in Geometries
Mechanical Theorem Proving in Geometries Wu, Wen-Tsün

53,49 €*
Computational Logic and Proof Theory
Computational Logic and Proof Theory

53,49 €*
Elements of Logic via Numbers and Sets
Elements of Logic via Numbers and Sets Johnson, D. L.

37,44 €*
Logics in Artificial Intelligence
Logics in Artificial Intelligence

53,49 €*
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton¿s Principia
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton¿s Principia Fleuriot, Jacques

106,99 €*
Theorem Proving with Analytic Tableaux and Related Methods
Theorem Proving with Analytic Tableaux and Related Methods

53,49 €*
Theorem Proving with Analytic Tableaux and Related Methods
Theorem Proving with Analytic Tableaux and Related Methods

53,49 €*
Grundlagen des maschinellen Beweisens
Grundlagen des maschinellen Beweisens Kutsche, Ralf-Detlef, Hofbauer, Dieter

54,99 €*
Types for Proofs and Programs
Types for Proofs and Programs

53,49 €*
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems

53,49 €*
Types for Proofs and Programs
Types for Proofs and Programs

53,49 €*
Die ungewisse Evidenz
Die ungewisse Evidenz

109,95 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...