Mark E. Stickel – författare

Visar alla böcker från författaren Mark E. Stickel. Handla med fri frakt och snabb leverans.

2 produkter

Kategorier

2 produkter

10th International Conference on Automated Deduction

Kaiserslautern, FRG, July 24-27, 1990. Proceedings

AvMark E. Stickel

Häftad, Engelska, 1990

1 999 kr

Skickas inom 10-15 vardagar

Automated Reasoning and Mathematics

Essays in Memory of William W. McCune

AvMaria Paola Bonacina,Mark E. Stickel

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar