Automated Deduction – CADE 27

Automated Deduction – CADE 27

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

door Pascal Fontaine
4/5
Eerste druk
Aug 21, 2019
Uitgevers
Springer

Boeken

Vergelijkbare boeken