Pocketbok
Vis utilgjengelige utgivelser

Releases med William Mccune

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 (Pocketbok) (1997)

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

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

Automated Deduction in Equationa... (1996)