author = {B. Buchberger},
title = {{Proving by First and Intermediate Principles}},
language = {english},
year = {2004},
month = {November 1-2},
annote = {2004-11-01-A},
note = {Invited talk at Workshop on Types for "Mathematics / Libraries of Formal Mathematics", University of Nijmegen, The Netherlands},
conferencename = {Workshop on Types for "Mathematics / Libraries of Formal Mathematics", University of Nijmegen, The Netherlands}