Timothy Stokes (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142

3 Timothy Stokes, Michael Bulmer: A Complex Change of Variables for Geometrical Reasoning. Automated Deduction in Geometry 2000: 143-153

Selection of 2 from 6 records - Timothy Stokes has 3 coauthors

4		Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142
3		Timothy Stokes, Michael Bulmer: A Complex Change of Variables for Geometrical Reasoning. Automated Deduction in Geometry 2000: 143-153