Hoppa till sidans huvudinnehåll

Automated Reasoning Series – serie

Visar alla böcker i serien Automated Reasoning Series.
5 produkter
Del 2 - Automated Reasoning Series

Automated Development of Fundamental Mathematical Theories

AvArt Quaife

Inbunden, Engelska, 1992

3 049 kr

Skickas inom 10-15 vardagar

Resolution Proof Systems

An Algebraic Theory

AvZ. Stachniak

Inbunden, Engelska, 1996

1 429 kr

Skickas inom 10-15 vardagar

Automated Reasoning

Essays in Honor of Woody Bledsoe

AvRobert Stephen Boyer

Häftad, Engelska, 2012

1 389 kr

Skickas inom 10-15 vardagar

Resolution Proof Systems

An Algebraic Theory

AvZ. Stachniak

Häftad, Engelska, 2011

1 389 kr

Skickas inom 10-15 vardagar

Del 3 - Automated Reasoning Series

Piton

A Mechanically Verified Assembly-Level Language

AvJ Strother Moore

Häftad, Engelska, 2013

699 kr

Skickas inom 10-15 vardagar