Top 147 cade PDF Book Page 7
Automated deduction - CADE-17: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings, Volume 17, Part 2000
David A. McAllester
·533 Pages
·2000
·4.06 MB
Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Martin Rinard (auth.), Renate A. Schmidt (eds.)
·516 Pages
·2009
·5.86 MB
Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Jean-Christophe Filliâtre (auth.), Maria Paola Bonacina (eds.)
·479 Pages
·2013
·5.518 MB
