1980/01/01 by Dirk van Dalen · 4 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge
paper · doi:10.1007/978-1-4471-4558-5
crossref created 2012/11/12 · crossref issued 2013/01/01 · crossref published 2013/01/01 · crossref published-print 2013/01/01 · openalex publication_date 2013/01/01 · openalex created_date 2022/05/12 · crossref deposited 2024/09/06 · crossref indexed 2026/07/14 · openalex updated_date 2026/07/16