Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999
From MaRDI portal
Publication:1574778
zbMATH Open0942.00048MaRDI QIDQ1574778
Author name not available (Why is that?)
Publication date: 13 August 2000
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (1)
Recommendations
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Proceedings of the 12th symposium on the integration of symbolic computation and mechanized reasoning (Calculemus 2005), Newcastle-upon-Tyne, UK, July 18--19, 2005 π π
- 9th international conference on automated deduction (CADE-9), Argonne, Illinois, USA, May 23-26, 1988. Proceedings π π
- Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings π π
- Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000 π π
- Computational Logic π π
- Realizability: a historical essay π π
- Special issue: Calculemus-99: Integrating computation and deduction. 1st workshop, Trento, Italy, July 11--12, 1999 π π
This page was built for publication: Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1574778)