scientific article; zbMATH DE number 3351504
From MaRDI portal
Publication:5626600
zbMath0222.02009MaRDI QIDQ5626600
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Predicate metric tense logic for `now' and `then' ⋮ Algebraization of quantifier logics, an introductory overview ⋮ First-Order Resolution Methods for Modal Logics ⋮ Goals and benchmarks for automated map reasoning ⋮ Temporal reference in linear tense logic ⋮ Logic, logics, and logicism
This page was built for publication: