Michael A. McRobbie - Böcker

Visar alla böcker från författaren Michael A. McRobbie.

1 produkt

Kategorier

1 produkt

Automated Deduction - Cade-13

13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

Av Michael A. McRobbie, J.K. Slaney m. fl

Häftad, Engelska, 1996

1 409 kr

Skickas inom 10-15 vardagar