William McCune - Böcker

Visar alla böcker från författaren William McCune.
2 produkter
William McCune, R. Padmanabhan - Automated Deduction in Equational Logic and Cubic Curves, Häftad

Automated Deduction in Equational Logic and Cubic Curves

Av William McCune, R. Padmanabhan

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar
William McCune - Automated Deduction - CADE-14, Häftad

Automated Deduction - CADE-14

Av William McCune

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar