Publication
In: Cezary Kaliszyk (editor). Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015) July 13-17 Washington DC United States Lecture Notes on Artificial Intelligence (LNAI) Springer 7/2015.
@inproceedings{pub7715, author = { Autexier, Serge and Hutter, Dieter }, editor = { Kaliszyk, Cezary }, title = {Structure Formation in Large Theories}, booktitle = {Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015), July 13-17, Washington, DC, United States}, series = {Lecture Notes on Artificial Intelligence (LNAI)}, year = {2015}, month = {7}, publisher = {Springer} }
© DFKI, 2022