Raamatud Automated Reasoning Series
Valikule vastavaid tooteid ei leitud.
-40%
Automated Development of Fundamental Mathematical Theories
243,92 €
406,54 €
-40% koodiga BOOKS
Meie tarnija laos
-40%
Resolution Proof Systems: An Algebraic Theory
110,87 €
184,78 €
-40% koodiga BOOKS
Meie tarnija laos
-40%
Resolution Proof Systems: An Algebraic Theory
110,87 €
184,78 €
-40% koodiga BOOKS
Meie tarnija laos
-40%
Automated Reasoning: Essays in Honor of Woody Bledsoe
110,87 €
184,78 €
-40% koodiga BOOKS
Meie tarnija laos
-40%
Piton: A Mechanically Verified Assembly-Level Language
55,43 €
92,38 €
-40% koodiga BOOKS
Meie tarnija laos