Algorithmic Strategies for Applicable Real Quantifier Elimination
Auteur : Andreas Dolzmann
Date de publication : 2000
Éditeur : Verlag nicht ermittelbar
Nombre de pages : 176
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : Andreas Dolzmann
Date de publication : 2000
Éditeur : Verlag nicht ermittelbar
Nombre de pages : 176
Aucun résumé disponible pour ce livre.