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

Details:

   
TitleExamples of Automatic Theorem Proving a Real Geometry
Author(s) Guergueb Ahmed, Mainguené Jean, Marie-Françoise Roy
TypeArticle in Conference Proceedings
ISBN0-89791-638-7
URL http://doi.acm.org/10.1145/190347.190354
LanguageEnglish
SeriesISSAC
Pages20--24
PublisherACM
AddressNew York, NY, USA
Year1994
Edition0
Translation No
Refereed No
Webmaster