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: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, Springer, In: LNAI 1504, [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

Optionen (nur für Redakteure)

View Item View Item