Releases von Michael a Mcrobbie

Cover for Michael a Mcrobbie · Automated Deduction, Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996, Proceedings (Cade-13, International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-august 3, 1996 - P (Taschenbuch) (1996)
Taschenbuch
Automated Deduction, Cade-13: 13...
Michael a Mcrobbie