linTAP
From MaRDI portal
Software:23925
No author found.
Related Items (7)
IeanCOP: lean connection-based theorem proving ⋮ Unnamed Item ⋮ A logical characterization of forward and backward chaining in the inverse method ⋮ Automated Deduction – CADE-20 ⋮ Unnamed Item ⋮ A Tableau Method for the Lambek Calculus based on a Matrix Characterization ⋮ A Logical Characterization of Forward and Backward Chaining in the Inverse Method
This page was built for software: linTAP
