related documents
- Case Studies in Model Manipulation for Scientific Computing Conference Paper
- High-Level Theories Conference Paper
9th Int Conference on Artificial Intelligence and Symbol Computat/15th Symposium on Integrat of Symbol Computat and Mechanized Res/7th Int Conference on Math Knowledge Management
Conference
- Scholarly Activity