Automated deduction -- CADE-12. 12th international conference, Nancy, France, June 26 -- July 1, 1994. Proceedings
From MaRDI portal
Publication:1327704
DOI10.1007/3-540-58156-1zbMath0875.00063MaRDI QIDQ1327704
No author found.
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
00B25: Proceedings of conferences of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
03B35: Mechanization of proofs and logical operations
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Related Items
Using induction and rewriting to verify and complete parameterized specifications, Computer supported mathematics with \(\Omega\)MEGA