Bibliography of Automated Deduction

Bibliography of Automated Deduction
Hosted by ORA Canada, the focus of this bibliography is automated deduction for the years 1970-1995, however, earlier classic work is also included. It covers over 3,100 citations from journal articles, conference papers, technical reports, and dissertations. The bibliography may be browsed by author, and there is a search facility.


Pages that contain this Resource

Computing Sciences
/research/subject-guides/computing-sciences-old