Del 2 - Automated Reasoning Series
Automated Development of Fundamental Mathematical Theories
Inbunden, Engelska, 1992
3 109 kr
Skickas inom 10-15 vardagar
Automated Reasoning Series – serie
Visar alla böcker i serien Automated Reasoning Series.
5 produkter
5 produkter
- Del 4 - Automated Reasoning Series
Resolution Proof Systems
An Algebraic Theory
Inbunden, Engelska, 19961 459 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2012
1 419 kr
Skickas inom 10-15 vardagar
- Del 4 - Automated Reasoning Series
Resolution Proof Systems
An Algebraic Theory
Häftad, Engelska, 20111 419 kr
Skickas inom 10-15 vardagar
- Del 3 - Automated Reasoning Series
Piton
A Mechanically Verified Assembly-Level Language
Häftad, Engelska, 2013709 kr
Skickas inom 10-15 vardagar