TU Darmstadt / ULB / TUbiblio

Simultaneous Quantifier Elimination

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Herzog, Otthein ; Günter, Andreas (eds.) :

Simultaneous Quantifier Elimination.
In: LNAI 1504 . Springer , Bremen, Germany
[Konferenz- oder Workshop-Beitrag], (1998)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1998
Herausgeber: Herzog, Otthein ; Günter, Andreas
Autor(en): Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Titel: Simultaneous Quantifier Elimination
Sprache: Deutsch
Buchtitel: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence
Reihe: LNAI 1504
Ort: Bremen, Germany
Verlag: Springer
Fachbereich(e)/-gebiet(e): Fachbereich Informatik > Modellierung und Analyse von Informationssystemen
Fachbereich Informatik
Hinterlegungsdatum: 09 Apr 2010 14:11
Zusätzliche Informationen:

autexier.ea:simultaneous-quantifier-elimination:1998a

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen