Automated Reasoning and Mathematics
Essays in Memory of William W. McCune
Autor:
Maria Paola Bonacina, Mark E. Stickel
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
253.86
lei
This Festschrift volume is published in honor of William W. McCune, an accomplished computer scienti...
