User Interfaces for Automated Reasoning Systems
(translated: Proceedings of the Third Danish Human-Computer Interaction Research Symposium)
Year: | 2003 |
---|---|
Pages: | 95-98 |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
(translated: Proceedings of the Third Danish Human-Computer Interaction Research Symposium)
Year: | 2003 |
---|---|
Pages: | 95-98 |