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

Av Mark E. Stickel

Häftad, Engelska, 1990

1 989 kr

Skickas inom 10-15 vardagar

Automated Reasoning and Mathematics

Essays in Memory of William W. McCune

Av Maria Paola Bonacina, Mark E. Stickel

Häftad, Engelska, 2013

679 kr

Skickas inom 10-15 vardagar