Steen, Alexander[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Benzmüller, Christoph[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Jun-2015
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
Kerber, Manfred
Carette, Jacques
Kaliszyk, Cezary
Rabe, Florian
Sorge, Volker
Springer
LNCS, Vol. 9150
325--330
Yes
No
International
Intelligent Computer Mathematics. CICM 2015
July 13-17, 2015
Washington D.C.
USA
[en] Datastructures ; Automated Reasoning ; LEO Prover ; Higher Order Logic ; Agents