Languages
International Conference on Automated Deduction (2019 :)
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Automated deduction - CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : proceedings /
by:
International Conference on Automated Deduction (2019 :); Fontaine, Pascal.; SpringerLink (Online service)
(Electronic resources)