Automated Deduction – CADE 26
-
häftad
,
Engelska, 2017