Published 2001
| Version v1
Publication
Special Issue of the Journal of Symbolic Computation onCalculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors
- Creators
- ARMANDO, ALESSANDRO
- T. JABELEAN
- Others:
- Armando, Alessandro
- T., Jabelean
Additional details
- URL
- http://hdl.handle.net/11567/242878
- URN
- urn:oai:iris.unige.it:11567/242878
- Origin repository
- UNIGE