scientific article
From MaRDI portal
Publication:3491009
zbMath0708.68076MaRDI QIDQ3491009
No author found.
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Octopus: combining learning and parallel search ⋮ Near-Horn Prolog and the ancestry family of procedures ⋮ Parallel inference search in logical calculus based on the algebraic programming system ⋮ A Prolog technology theorem prover: A new exposition and implementation in Prolog ⋮ A novel asynchronous parallelism scheme for first-order logic ⋮ PARTHEO ⋮ \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
Uses Software
This page was built for publication: