FALVEY MEMORIAL LIBRARY

You are exploring: VU > Home > Research > Resource

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.

 


Last Modified: 2018-03-13 14:50:29