Automated Reasoning Series

From MaRDI portal
Publication:5982594