Publikation

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. German Conference on Artificial Intelligence (KI), Bremen, Springer Verlag, LNCS 1504, 1998.

http://www.dfki.de/vse/papers/ams98.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence