Matt Kaufmann – författare

Visar alla böcker från författaren Matt Kaufmann.

3 produkter

Kategorier

3 produkter

Matt Kaufmann, Panagiotis Manolios, J Strother Moore - Computer-Aided Reasoning, Inbunden

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manoliosm. fl.

Inbunden, Engelska, 2000

2 889 kr

Skickas inom 10-15 vardagar

Matt Kaufmann, Panagiotis Manolios, J Strother Moore - Computer-Aided Reasoning, Häftad

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manoliosm. fl.

Häftad, Engelska, 2010

2 889 kr

Skickas inom 10-15 vardagar

Matt Kaufmann, Lawrence C. Paulson - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

AvMatt Kaufmann,Lawrence C. Paulson

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar