PARTHEO
From MaRDI portal
Software:21958
No author found.
Related Items (14)
Unnamed Item ⋮ Cooperating Proof Attempts ⋮ Fine-grained concurrent completion ⋮ Nagging: A distributed, adversarial search-pruning technique applied to first-order inference ⋮ A Parallelized Theorem Prover for a Logic with Parallel Execution ⋮ Unnamed Item ⋮ 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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A novel asynchronous parallelism scheme for first-order logic ⋮ \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) ⋮ A taxonomy of parallel strategies for deduction
This page was built for software: PARTHEO
