Filter
Sökt på: Sökresultat
Filter
1 träff
Automated Reasoning and Mathematics
häftad,
2013,
Engelska,
ISBN 9783642366741
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a …