TU Darmstadt / ULB / TUbiblio

Simultaneous Quantifier Elimination

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Hrsg.: Herzog, Otthein ; Günter, Andreas (1998)
Simultaneous Quantifier Elimination.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1998
Herausgeber: Herzog, Otthein ; Günter, Andreas
Autor(en): Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Art des Eintrags: Bibliographie
Titel: Simultaneous Quantifier Elimination
Sprache: Deutsch
Publikationsjahr: September 1998
Ort: Bremen, Germany
Verlag: Springer
Buchtitel: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence
Reihe: LNAI 1504
Zusätzliche Informationen:

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

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS)
20 Fachbereich Informatik
Hinterlegungsdatum: 09 Apr 2010 14:11
Letzte Änderung: 05 Mär 2013 09:33
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen