TU Darmstadt / ULB / TUbiblio

Simultaneous Quantifier Elimination

Autexier, Serge and Mantel, Heiko and Stephan, Werner Herzog, Otthein and Günter, Andreas (eds.) (1998):
Simultaneous Quantifier Elimination.
In: LNAI 1504, In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, Springer, pp. 141-152, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1998
Editors: Herzog, Otthein and Günter, Andreas
Creators: Autexier, Serge and Mantel, Heiko and Stephan, Werner
Title: Simultaneous Quantifier Elimination
Language: German
Title of Book: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence
Series Name: LNAI 1504
Place of Publication: Bremen, Germany
Publisher: Springer
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
Additional Information:

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

Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item