Automated Deduction – CADE 27

Automated Deduction – CADE 27

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

بواسطة Pascal Fontaine
4/5
نشرت لأول مرة
Aug 21, 2019
الناشرون
Springer

كتب

كتب مماثلة