@inproceedings{RISC324,author = {B. Buchberger},
title = {{Computer-assisted Proving by the PCS Method}},
booktitle = {{Proceedings of the Workshop on Constructive Algebra}},
language = {english},
pages = { --},
address = {Amsterdam},
isbn_issn = {-},
year = {2000},
month = {1-3 November},
annote = {2000-11-01-A},
note = {Springer Lecture Notes in Computer Science, submitted},
editor = {-},
refereed = {yes},
keywords = {Keywords: automated theorem proving, Groebner bases, constructive and inconstructive proofs, theorem proving in analysis},
length = {0}
}