|
Search the dblp DataBase
Michael Bulmer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes
The Kinds of Truth of Geometry Theorems. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2000, pp:129-142 [Conf]
- Timothy Stokes, Michael Bulmer
A Complex Change of Variables for Geometrical Reasoning. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2000, pp:143-153 [Conf]
- Michael Bulmer
Inductive Equational Reasoning. [Citation Graph (0, 0)][DBLP] PRICAI, 1996, pp:13-22 [Conf]
- Michael Bulmer
Inductive theories from equational systems. [Citation Graph (0, 0)][DBLP] PRICAI Workshops, 1996, pp:78-91 [Conf]
Search in 0.001secs, Finished in 0.001secs
|