Design rational for semi-automated theorem provers.
(1998)
Journal Article
Lowe, H., Jackson, M., & Benyon, D. (1998). Design rational for semi-automated theorem provers. Formal Aspects of Computing,
All Outputs (2)
Commentary cognitive engineering as the development of information spaces (1998)
Journal Article
Benyon, D. (1998). Commentary cognitive engineering as the development of information spaces. Ergonomics, 41(2), 153-156. https://doi.org/10.1080/001401398187170