scientific article
From MaRDI portal
Publication:4012182
zbMath0745.68095MaRDI QIDQ4012182
Publication date: 27 September 1992
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 (7)
Conjunctive Abstract Interpretation Using Paramodulation ⋮ Linear resolution for consequence finding ⋮ A Prolog technology theorem prover: A new exposition and implementation in Prolog ⋮ Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities ⋮ How to Produce Information About a Given Entity Using Automated Deduction Methods ⋮ Merging regulations: Analysis of a practical example ⋮ Merging regulations: Analysis of a practical example
This page was built for publication:
