Deduction as an Engineering Science (invited paper)

@inproceedings{pub1637,
    author = {

Hutter, Dieter
},
    editor = {

Dahn, Ingo
 and 

Vigneron, Laurent
},
    title = {Deduction as an Engineering Science (invited paper)},
    booktitle = {Proceedings of First-Order Theorem Proving FTP-2003. International Workshop on First-Order Theorem Proving (FTP)},
    year = {2003},
    publisher = {Electronic Notes in Theoretical Computer Science, Vol. 86, Issue 1}
}