TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Hähnle, Reiner
Hrsg.: Calmet, Jacques ; Campbell, John A. (1992)
A New Translation from Deduction into Integer Programming.
Konferenzveröffentlichung, Bibliographie