Book
total rows: 1
page: 1
records each page: 10

Automated Deduction – CADE 28
author: André Platzer
isbn: 978-3-030-79876-5
publisher: Carnegie Mellon University
date created: 2021