File(s) not publicly available
Plane Euclidean reasoning
conference contribution
posted on 2023-05-23, 02:37 authored by Fearnley-Sander, DPNo description available
History
Pagination
86-110Department/School
School of Natural SciencesPublisher
Springer-VerlagPlace of publication
BerlinEvent title
Automated Deduction in GeometryEvent Venue
Beijing, ChinaDate of Event (Start Date)
1998-08-01Date of Event (End Date)
1998-08-03Repository Status
- Restricted