Unit Code: CM20019 - S1 (YearUnit Lecturer: Dr. P. Bruscoli Unit Tutors: T. Gundersen, J. Needham, M. Price Worksheet 2: Predicate Logic: Syntax, Semantics, Normal Forms) - Predicate logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-01-04 16:05:10		Unit Code: CM20019 - S1 (YearUnit Lecturer: Dr. P. Bruscoli Unit Tutors: T. Gundersen, J. Needham, M. Price Worksheet 2: Predicate Logic: Syntax, Semantics, Normal Forms) Add to Reading List Source URL: cs.bath.ac.uk Download Document from Source Website File Size: 48,62 KB Share Document on Facebook