1991/01/01 by John A. Robinson, J. A. Robinson · 3 citations
Computer Science · Mathematics · Medicine · #Calculus (dental) #Computer science #Geometry #Logic, programming, and type systems #Mathematical proof #Mathematics #Medicine
paper · doi:10.1007/978-94-011-3488-0_13
crossref issued 1991/01/01 · crossref published 1991/01/01 · crossref published-print 1991/01/01 · openalex publication_date 1991/01/01 · crossref created 2011/06/20 · crossref deposited 2020/12/04 · crossref indexed 2024/09/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04