scientific article; zbMATH DE number 3339325
From MaRDI portal
Publication:5616102
zbMath0214.00101MaRDI QIDQ5616102
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mathematics in general (00A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01)
Related Items
Dynamic backward reasoning systems ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ REF-ARF: A system for solving problems stated as procedures
