scientific article; zbMATH DE number 3407199
From MaRDI portal
Publication:5672217
zbMath0257.68086MaRDI QIDQ5672217
No author found.
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
