Rezensionen
Noch keine Rezensionen
Sei der Erste, der dieses Buch rezensiert und deine Gedanken teilt
Anmelden um zu rezensieren
Second-Order Quantifier Elimination: Foundations, Computational Aspects, and Applications
Noch keine Bewertungen
Apr 17, 2008
·
Englisch
·
Taschenbuch
(320 Seiten)