@book{3836,
	author = {Tran Quoc Nam and Kanchana Kanchanasut, and The Government of Australia., },
	title = {An algebraic approach to mechanical theorem-proving in geometry},
	publisher = {Asian Institute of Technology,},
	year = {1992},
	series = {Thesis ;},
	address = {Bangkok :},
	note = {A thesis submitted in partial fulfillment of requirement for the degree of Master of Science, School of Engineering and Technology},
	url = {http://203.159.5.9/ait-thesis/detail.php?q=B16657}
}