Computer Supported Formal Work: Towards a Digital Mathematical Assistant

@incollection{pub2996,
    author = {

Siekmann, Jörg
 and 

Autexier, Serge
},
    editor = {

Matuszewski, Roman
 and 

Zalewska, Anna
},
    title = {Computer Supported Formal Work: Towards a Digital Mathematical Assistant},
    booktitle = {From insight to proof - Jubilee Book for Andrzej Trybulec},
    series = {Studies in Logic, Grammar and Rhetoric},
    year = {2007},
    month = {7},
    volume = {10 (23)},
    pages = {231--248},
    publisher = {University of Bialystok}
}