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

Details:

   
TitleGeometry Theorem Proving Using Hilbertís Nullstellensatz
Author(s) Deepak Kapur
TypeArticle in Conference Proceedings
Length6
LanguageEnglish
Pages202--208
Year1986
Translation No
Refereed No
Webmaster