llprover
From MaRDI portal
Software:23927
No author found.
Related Items (6)
Language models for some extensions of the Lambek calculus ⋮ Unnamed Item ⋮ A logical characterization of forward and backward chaining in the inverse method ⋮ Automated Deduction – CADE-20 ⋮ Towards the animation of proofs -- testing proofs by examples ⋮ A Logical Characterization of Forward and Backward Chaining in the Inverse Method
This page was built for software: llprover
