Structure Formation in Large Theories

@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}
}