Smart Matching
From MaRDI portal
Publication:3582713
DOI10.1007/978-3-642-14128-7_23zbMath1286.68389OpenAlexW3037393729MaRDI QIDQ3582713
Publication date: 24 August 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14128-7_23
Related Items (3)
Hammer for Coq: automation for dependent type theory ⋮ The Matita Interactive Theorem Prover ⋮ Formalising Overlap Algebras in Matita
Uses Software
This page was built for publication: Smart Matching
