scientific article; zbMATH DE number 3407199

From MaRDI portal
Revision as of 04:26, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5672217

zbMath0257.68086MaRDI QIDQ5672217

No author found.

Publication date: 1972


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


Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (2)

A Prolog technology theorem prover: Implementation by an extended Prolog compiler ⋮ The applicability of logic program analysis and transformation to theorem proving




This page was built for publication:

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