TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 1.
Deutsch
Hähnle, Reiner ; Sörensson, Niklas
Hrsg.: Cialdea Mayer, Marta ; Pirri, Fiora (2003)
Fair Constraint Merging Tableaux in Lazy Functional Programming Style.
Konferenzveröffentlichung, Bibliographie