Amanote Research
Register
Sign In
Mechanical Theorem Proving in Tarski’s Geometry
doi 10.1007/978-3-540-77356-6_9
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Julien Narboux
Publisher
Springer Berlin Heidelberg