Automated Theorem Proving: Course Resources

There is no textbook prescribed. If it were in print I would have prescribed:
- Duffy D. (1991), Principles of Automated Theorem Proving, Wiley.
Useful introductory books are:
- Wos L., et al. (1992), Automated Reasoning : Introduction and Applications , McGraw-Hill.
- Bundy A. (1983), The Computer Modelling of Mathematical Reasoning, Academic Press.
Modern but kinda technical texts include:
Good overviews are:
- Stickel M.E. (1986), An Introduction to Automated Reasoning, Bibel W. and Jorrand Ph., Fundamentals of Artificial Intelligence, Lecture Notes in Computer Science 232, Springer-Verlag.
- Plaisted D.A. (1990), Mechanical Theorem Proving, Banerji R.B., Formal Techniques in Artificial Intelligence, A Sourcebook, Elsevier Science.
Some classics texts are:
- Chang C-L. and Lee R.C-T. (1973), Symbolic Logic and Mechanical Theorem Proving, Academic Press.
- Loveland D.W. (1978), Automated Theorem Proving : A Logical Basis, Elsevier Science.
David Plaisted's collection of ATP course notes
Some notes on using UNIX