Richard J. Boulton - Böcker

Visar alla böcker från författaren Richard J. Boulton.
1 produkt
Richard J. Boulton, Paul B. Jackson - Theorem Proving in Higher Order Logics, Häftad
Del 2152 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Richard J. Boulton, Paul B. Jackson

Häftad, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar