Automatic theorem proving - Congresses.

Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings / by: (書目-電子資源)

Automated deduction in geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (書目-電子資源)

Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / by: (書目-電子資源)