Structure Formation in Large Theories
@inproceedings{AH-15-c, author = {Serge Autexier and Dieter Hutter}, editor = {Manfred Kerber, Jacques Carette, Volker Sorge, Cezary Kaliszyk, Florian Rabe}, booktitle = {Proceedings Conference on Intelligent Computer Mathematics (CICM-2015)}, title = {Structure Formation in Large Theories}, series = {LNAI}, publisher = {Springer}, month = {july}, year = {2015}, }