TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 1998
Anzahl der Einträge: 1.
1998
Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Hrsg.: Herzog, Otthein ; Günter, Andreas (1998)
Simultaneous Quantifier Elimination.
Konferenzveröffentlichung, Bibliographie