Quantifizierer-Eliminierung zweiter Ordnung: Grundlagen, rechnerische Aspekte und...
40,66 €
Second-Order Quantifier Elimination : Foundations, Computational Aspects and Applications, Paperback by Gabbay, Dov M.; Schmidt, Renate A.; Szalas, Andrzej, ISBN 1904987567, ISBN-13 9781904987567, Like New Used, Free P&P in the UK
Jetzt bei Ebay:
