|
Search the dblp DataBase
Tim J. Hoar:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sanjay Bhansali, Tim J. Hoar
Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System. [Citation Graph (0, 0)][DBLP] KBSE, 1995, pp:11-18 [Conf]
- Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar
A Principled Approach Towards Symbolic Geometric Constraint Satisfaction [Citation Graph (0, 0)][DBLP] CoRR, 1996, v:0, n:, pp:- [Journal]
- Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar
A Principled Approach Towards Symbolic Geometric Constraint Satisfaction. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 1996, v:4, n:, pp:419-443 [Journal]
- Sanjay Bhansali, Tim J. Hoar
Automated Software Synthesis: An Application in Mechanical CAD. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:10, pp:848-862 [Journal]
Search in 0.001secs, Finished in 0.001secs
|