The top documents tagged [predicate logic statements]

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.

---

212 views

CPSC 121: Models of Computation 2013W2

---

44 views