Sean B. Holden - Böcker

Visar alla böcker från författaren Sean B. Holden.

1 produkt

Böcker

1 produkt

Sean B. Holden, B. Holden, Sean, Sean B Holden - Machine Learning for Automated Theorem Proving, Häftad

Machine Learning for Automated Theorem Proving

Av Sean B. Holden, B. Holden, Sean, Sean B Holden

Häftad, Engelska, 2021

1 849 kr

Slutsåld