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

Details:

    
TitleGr\"obner bases -- theory refinement in the Mizar system.
Author(s) Christoph Schwarzweller
TypeBook, Chapter in Book, Conference Proceeding
ISBN3-540-31430-X/pbk
URL http://link.springer.com/book/10.1007%2F11618027
LanguageEnglish
Pages299--314
PublisherBerlin: Springer
Year2006
Edition0
Translation No
Refereed No
Webmaster