William Mccuneのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for William Mccune · Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997: Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (1997)

Automated Deduction - Cade-14: 1... (1997)

Cover for William Mccune · Automated Deduction in Equational Logic and Cubic Curves - Lecture Notes in Computer Science (Paperback Book) (1996)

Automated Deduction in Equationa... (1996)