Simplification of quantifier free formulas over ordered fields
Auteur : Andreas Dolzmann, Thomas Sturm
Date de publication : 1995
Éditeur : Univ., Fak. für Mathematik und Informatik
Nombre de pages : 25
Résumé du livre
Aucun résumé disponible pour ce livre.