×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [pred logic]
Home >
pred logic
Snick snack CPSC 121: Models of Computation 2010 Winter Term 2 Describing the World with Predicate Logic Steve Wolfman, based on notes by Patrice Belleville.
214 views
Snick snack CPSC 121: Models of Computation 2011 Winter Term 1 Describing the World with Predicate Logic Steve Wolfman, based on notes by Patrice Belleville.
213 views