Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

Title	Buchberger Algorithm in Theorem proving
Author(s)	Doina Tatar
Type	Article in Conference Proceedings
Language	English
Year	1993
Translation	No
Refereed	No