Mark E. Stickel - Böcker

Visar alla böcker från författaren Mark E. Stickel.

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 949 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

649 kr

Skickas inom 10-15 vardagar