Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity
@inproceedings{AF-05-a, author = {Serge Autexier and Armin Fiedler}, editor = {Kohlhase, Michael}, booktitle = {Proceedings of MKM'05}, title = {Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity}, volume = {3863}, series = {LNAI}, publisher = {Springer}, address = {IUB Bremen, Germany}, month = {january}, year = {2006}, }