|
[Gen]
|
M. Genesereth,
Introduction Chapter.
Computational Logic course notes, 2009.
|
|
[KV]
|
P. Kolaitis and M. Vardi,
Logic as The Calculus of Computer Science.
NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science, 2001.
|
|
[Var]
|
M. Vardi,
A brief history of Logic.
Course notes, 2003.
|
|
[Via]
|
V. Vianu,
Logic as a Query Language--from Frege to XML.
NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science, 2001.
|
|
[Vor]
|
A. Voronkov,
CNF and Clausal Form.
Logic in Computer Science course notes, 2009.
|