автор: Pascal Fontaine

This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, Fro Co S 2013, held in Nancy, France, in September 2013. The 20 revised full paper …

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presente …