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