Hyper-Automation System Applied to Geometry Demonstration Environment
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Proceedings of the VLDB 2002 Workshop EEXTT and CAiSE 2002 Workshop DTWeb on Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web-Revised Papers
Software is discrete mathematics
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |