Publikation
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.
@inproceedings{pub1552, author = { Autexier, Serge and Mantel, Heiko and Stephan, Werner }, editor = { Herzog, O. and Günter, A. }, title = {Simultaneous Quantifier Elimination}, booktitle = {KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI), Bremen}, year = {1998}, address = {Bremen, Germany}, publisher = {Springer Verlag, LNCS 1504} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023