Mark E. Stickel – författare

Visar alla böcker från författaren .

2 produkter

Kategorier

2 produkter

Mark E. Stickel - 10th International Conference on Automated Deduction, Häftad

10th International Conference on Automated Deduction

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

AvMark E. Stickel

Häftad, Engelska, 1990

2 009 kr

Skickas inom 10-15 vardagar

Maria Paola Bonacina, Mark E. Stickel - Automated Reasoning and Mathematics, Häftad

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