1. Home
  2. Deduction, Computation, Experiment
  • #

Deduction, Computation, Experiment

85.59 EUR

Teilen:
Gesponsert

Deduction, Computation, Experiment

SpringerLink DE
85.59 EUR
22-04-2026 22:15:22

Ähnliche Produkte

Deduction, Computation, Experiment

Deduction, Computation, Experiment

106.99 EUR

Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

84.94 EUR
Instantiation Theory: On the Foundations of Automated Deduction

Instantiation Theory: On the Foundations of Automated Deduction

53.49 EUR
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

48.14 EUR
Darstellung der Kantischen Erkenntnisstheorie: Mit Besonderer Berücksichtigung der Verschiedenen Fassungen der Transscendentalen Deduction der Kategorien

Darstellung der Kantischen Erkenntnisstheorie: Mit Besonderer Berücksichtigung der Verschiedenen Fassungen der Transscendentalen Deduction der Kategorien

42.00 EUR
Automated Deduction -

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

53.49 EUR
Automated Deduction

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

52.94 EUR
Automated Deduction

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

197.54 EUR