Solutions for exercises given in the course "TDT4136 Logic and Reasoning Systems" at NTNU during the autumn semester of 2012. Bitches be crazy 'bout this y'all.
-
Notifications
You must be signed in to change notification settings - Fork 0
otron/TDT4136-logres
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Solutions for exercises given in the course "TDT4136 Logic and Reasoning Systems" at NTNU during the autumn semester of 2012. Bitches be crazy 'bout this y'all.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published