related documents
- Case Studies in Model Manipulation for Scientific Computing Conferences
- High-Level Theories Conferences
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