Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999

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)

zbMATH Keywords

ConferenceProceedingsTrento (Italy)Calculemus 99Integrated computationIntegrated deduction

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Title not available (Why is that?)

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)