Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Automated Deduction -- CADE-24
E-bok,
2013,
Engelska,
ISBN 9783642385742
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers …
Automated Reasoning and Mathematics
E-bok,
2013,
Engelska,
ISBN 9783642366758
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 …