Synthesizing Proof Planning Methods and Oants Agents from Mathematical Knowledge
@inproceedings{AD-06-a, author = {Serge Autexier and Dominik Dietrich}, editor = {Jon Borwein and Bill Farmer}, booktitle = {Proceedings of MKM'06}, title = {Synthesizing Proof Planning Methods and Oants Agents from Mathematical Knowledge}, volume = {4108}, series = {LNAI}, publisher = {Springer}, pages = {94-109}, month = {august}, year = {2006}, }