scientific article; zbMATH DE number 3499212

From MaRDI portal
Revision as of 05:41, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4080703

zbMath0318.68017MaRDI QIDQ4080703

No author found.

Publication date: 1975


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Mathematics Subject Classification ID

Classical first-order logic (03B10) General topics in the theory of software (68N01)


Related Items (2)

IO and OI. I ⋮ IO and OI. II







This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4080703&oldid=17831092"
Powered by MediaWiki