Logic Theorist
From MaRDI portal
Software:33139
No author found.
Source code repository: https://github.com/theoremprover-museum/logic-theorist
Related Items (1)
This page was built for software: Logic Theorist
No author found.
Source code repository: https://github.com/theoremprover-museum/logic-theorist
Related Items (1)
This page was built for software: Logic Theorist