Automating Reasoning about Mechanical Devices
- Leo Joskowicz
- 1992
- AAAI-FS 1992
Publications
4 results at AAAI-FS 1992
Automating scientific and engineering computing
- Elisha Sacks
- Leo Joskowicz
- 1992
- AAAI-FS 1992
Grammatical Trigrams: A Probabilistic Model of Link Grammar
- John Laffertyt
- Daniel Sleator
- et al.
- 1992
- AAAI-FS 1992
Extending the Navigation Metaphor to Other Domains
- Jonathan H. Connell
- 1992
- AAAI-FS 1992