Automatic theorem proving - Congresses.
Overview
| Works: | 15 works in 14 publications in 14 languages | |
|---|---|---|
Titles
Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
(Language materials, printed)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by:
(Electronic resources)
Theorem proving in higher order logics = 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
by:
(Electronic resources)
Automated reasoning = 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : proceedings /
by:
(Electronic resources)
Automated deduction in geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
by:
(Electronic resources)
Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(Electronic resources)
Automated reasoning with analytic tableaux and related methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects