Method of analytic tableaux for the first order logic.
Didactic materials for my courses:
- Programming in Prolog
- Declarative Programming
- Programming in Logic
-
Notifications
You must be signed in to change notification settings - Fork 0
Method of analytic tableaux for the first order logic.
License
przemko/prolog-xpce-tabsem
About
Method of analytic tableaux for the first order logic.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published