Univ.-Prof. Dr. Aart Middeldorp   
Home Events Research Teaching
Research
publications activities projects CSI FORT TTT2
Publications
edited books articles in journals papers in proceedings miscellaneous

Selected Extended Papers of CADE 2015

Amy Felty and Aart Middeldorp (eds.)
special issue, Journal of Automated Reasoning 58(3), 2017

preface   doi:10.1007/s10817-016-9403-3
© Springer Science+Business Media Dordrecht 2016