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.
otron / tdt4136-logres Goto Github PK
View Code? Open in Web Editor NEWSolutions 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.