log in
Formal
Languages
and the
Theory of
Computation
Spring 2006
course
home
wiki
syllabus
assignments
navigation
help
.. /
. /
logic
wikipedia: mathematical logic
first-order logic
wikipedia: conjunctive normal form
resolution (logic)
wikipedia: cyc
theorem engines
Isabelle
HOL
http://cs.marlboro.edu/
courses/
spring2006/formal_languages/
wiki/
logic
last modified Thursday August 31 2006 2:24 am EDT
