Buchberger Algorithm in Theorem Proving.

Published in Volume IV, 1995, pages 85-92

Authors: Daniela TATAR

Bibtex

@article{sacscuza:tatar1995baitp,
  title={Buchberger Algorithm in Theorem Proving.},
  author={Daniela TATAR},
  journal={Scientific Annals of Computer Science},
  volume={15},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={1995},
  pages={85--92},
  publisher={``A.I. Cuza'' University Press}
}