Computational Tools for Modal Logic
Edit Page
Report
Scan day: 17 February 2014 UTC
-6
Virus safety - good
Description: Resources collected by Renate Schmidt.
In recent years the number of computational tools useful for modal logics, and related logics, has increased significantly, and is continuously increasing. The following is an incomplete list of If you'd like something added or changed please let
Size: 251 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | AiML: Tools |
| Keywords: | |
| Description: | |
| IP-address: | 130.88.199.17 |