New Results on Quantifier Elimination Over Real Closed Fields and Applications to Constraint Databases
Auteur : Thomas J. Watson IBM Research Center, Saugata Basu
Date de publication : 1998
Éditeur : IBM T.J. Watson Research Center
Nombre de pages : 24
Résumé du livre
Aucun résumé disponible pour ce livre.