llprover
From MaRDI portal
Software:23927
swMATH11993MaRDI QIDQ23927FDOQ23927
Author name not available (Why is that?)
Cited In (6)
- A logical characterization of forward and backward chaining in the inverse method
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method
- Title not available (Why is that?)
- Language models for some extensions of the Lambek calculus
- Automated Deduction – CADE-20
- Towards the animation of proofs -- testing proofs by examples
This page was built for software: llprover
