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

Details:

   
TitleWhere the truth lies (in automatic theorem proving in elementary geometry).
Author(s) Francisco Botana, Tomás Recio
TypeBook, Chapter in Book, Conference Proceeding
ISBN3-540-22056-9/pbk
URL http://link.springer.com/book/10.1007%2Fb98051
LanguageEnglish
Pages761--770
PublisherBerlin: Springer
Year2004
Edition0
Translation No
Refereed No
Webmaster