Annals of Mathematics and Artificial Intelligence, Volume 80

Volume 80, Number 1, May 2017

Artificial Intelligence and Symbolic Computation: Selected papers from AISC 2014
maintained by Schloss Dagstuhl LZI at University of Trier