Renate A Schmidt Author & Editor

Second-order Quantifier Elimination

3 authors - Paperback

£16.50

Automated Reasoning with Analytic Tableaux and Related Methods

2 contributors - Paperback

£54.99