Top 29 janica cade PDF Book Page 2
Automated deduction, CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
Robert Nieuwenhuis
·473 Pages
·2005
·4.936 MB
Automated deduction--CADE 16: 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Harald Ganzinger
·442 Pages
·1999
·3.594 MB
Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Andreĭ Voronkov
·547 Pages
·2002
·4.178 MB
Automated Deduction - Cade-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Renate A. Schmidt
·519 Pages
·2009
·4.915 MB
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Pascal Fontaine
·603 Pages
·2019
·18.312 MB
