Automated Deduction – CADE 27

Automated Deduction – CADE 27

27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

podľa Pascal Fontaine
4/5
Prvýkrát zverejnené
Aug 21, 2019
Vydavatelia
Springer

Knihy

Podobné knihy