2001/01/01 by Paul Gowland, David Lester · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #Logic, programming, and type systems #Numerical Methods and Algorithms
paper · doi:10.1007/3-540-45335-0_3
crossref issued 2001/01/01 · crossref published 2001/01/01 · crossref published-print 2001/01/01 · openalex publication_date 2001/01/01 · crossref published-online 2001/05/22 · crossref created 2007/11/14 · crossref deposited 2019/02/25 · openalex created_date 2025/10/10 · crossref indexed 2025/10/27 · openalex updated_date 2026/07/29