Proceedings-Artikel
Simultaneous Quantifier Elimination
Serge Autexier; Heiko Mantel; Werner Stephan
In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. Bremen, Springer Verlag, LNCS 1504, 1998.