2009/02/01 by Herman Geuvers, H. Geuvers · 2 citations
Computer Science · Mathematics · Medicine · #Automated theorem proving #Calculus (dental) #Computer science #Computer-assisted proof #Correctness #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical proof #Mathematics #Medicine #Programming language #Proof assistant #Proof of concept #Proof theory #Software engineering
paper · doi:10.1007/s12046-009-0001-5
crossref issued 2009/02/01 · crossref published 2009/02/01 · crossref published-print 2009/02/01 · openalex publication_date 2009/02/01 · crossref created 2009/07/15 · crossref published-online 2009/07/16 · crossref deposited 2019/06/02 · openalex created_date 2025/10/10 · crossref indexed 2026/03/10 · openalex updated_date 2026/08/01