Search result

Descriptional Complexity of Formal Systems English, German Paperback / Softback Fr. 158.00 Will be released 28.07.2025
Automated Deduction – CADE 30 English, German Paperback / Softback Fr. 55.90 Will be released 29.08.2025