TU Darmstadt / ULB / TUbiblio

Simultaneous Quantifier Elimination

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
eds.: Herzog, Otthein ; Günter, Andreas (1998)
Simultaneous Quantifier Elimination.
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 1998
Editors: Herzog, Otthein ; Günter, Andreas
Creators: Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Type of entry: Bibliographie
Title: Simultaneous Quantifier Elimination
Language: German
Date: September 1998
Place of Publication: Bremen, Germany
Publisher: Springer
Book Title: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence
Series: LNAI 1504
Additional Information:

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

Divisions: 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science
Date Deposited: 09 Apr 2010 14:11
Last Modified: 05 Mar 2013 09:33
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details