2014/01/01 by Manfred Kerber · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algorithm #Artificial intelligence #Axiom #Calculus (dental) #Computer science #Epistemology #Fuzzy logic #History and Theory of Mathematics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical proof #Mathematics #Modus ponens #Nothing #Philosophy #Programming language #Pure mathematics #Set (abstract data type) #State (computer science)
paper · doi:10.1007/978-3-319-06614-1_5
crossref issued 2014/01/01 · crossref published 2014/01/01 · crossref published-print 2014/01/01 · openalex publication_date 2014/01/01 · crossref created 2014/07/10 · crossref published-online 2014/07/11 · crossref deposited 2023/02/20 · crossref indexed 2025/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04