Automated deduction -- CADE-12. 12th international conference, Nancy, France, June 26 -- July 1, 1994. Proceedings

DOI10.1007/3-540-58156-1zbMATH Open0875.00063OpenAlexW1492530167MaRDI QIDQ1327704

Author name not available (Why is that?)

Publication date: 27 June 1994

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58156-1

zbMATH Keywords

ConferenceProceedingsAutomated deductionNancy (France)CADE-12

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (6)

Automated deduction -- CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13--17, 1997. Proceedings ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 ⋮ Using induction and rewriting to verify and complete parameterized specifications ⋮ A Mizar mode for HOL ⋮ Using a generalisation critic to find bisimulations for coinductive proofs

Recommendations

• Automated deduction -- CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 -- August 5, 2011. Proceedings 👍 👎
• Automated deduction -- CADE-10. 10th international conference, Kaiserslautern, Germany, July 24--27, 1990. Proceedings 👍 👎
• Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings 👍 👎
• Automated deduction -- CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15--18, 1992 👍 👎
• Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings 👍 👎
• Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17--20, 2000. Proceedings 👍 👎
• Automated deduction - CADE-18. 18th international conference, Copenhagen, Denmark, July 27--30, 2002. Proceedings 👍 👎
• Automated deduction -- CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings 👍 👎
• Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings 👍 👎
• Automated deduction -- CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2--7, 2009. Proceedings 👍 👎

This page was built for publication: Automated deduction -- CADE-12. 12th international conference, Nancy, France, June 26 -- July 1, 1994. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1327704)