Computer Supported Formal Work: Towards a Digital Mathematical Assistant
@incollection{SA-07-a, author = {J\"org Siekmann and Serge Autexier}, editor = {Roman Matuszewski and Anna Zalewska}, booktitle = {From insight to proof - Jubilee Book for Andrzej Trybulec}, title = {Computer Supported Formal Work: Towards a Digital Mathematical Assistant}, volume = {10(23)}, series = {Studies in Logic, Grammar and Rhetoric}, publisher = {University of Bialystok}, pages = {231-248}, month = {july}, year = {2007}, }