Approaches to parallel quantifier elimination
Auteur : Andreas Dolzmann, Oliver Gloor, Thomas Sturm
Date de publication : 1998
Éditeur : Univ., Fak. für Mathematik und Informatik
Nombre de pages : 21
Résumé du livre
Aucun résumé disponible pour ce livre.