Application Details:
Developer: | CSLI |
URL: | http://www-csli.stanford.edu/h... |
Super Maintainers: About Maintainership
No maintainers. Volunteer today!
For more details and user comments, view the versions of this application
Version | Description | Latest Rating | Latest Wine version tested | Test results | Comments |
5.3 | Part of the "Language, Proof and Logic" suite of instructional software for introductory logic courses. Lets you manipulate a blocks worlds and write sentences in first-order language, and evaluate their truth in the worlds. | 0 | 0 |