William McCune – författare

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

2 produkter

Kategorier

2 produkter

William McCune, R. Padmanabhan - Automated Deduction in Equational Logic and Cubic Curves, Häftad

Automated Deduction in Equational Logic and Cubic Curves

AvWilliam 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

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

AvWilliam McCune

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar