Krumnack, Ulf
Full Name
Krumnack, Ulf
Variants
Krumnack, U
Krumnack, Ulf
Krumnack, Ulf
Main Affiliation
FIS NetID
Country
Germany
Lädt ...
2
0
20
0
false
Lädt ...
3
0
20
0
false
1-1 von 1
| Erscheinungsdatum | Titel | Autor(en) | |
|---|---|---|---|
| 1 | 2010 | Mathematical reasoning with higher-order anti-unifcation | Guhe, Markus; Pease, Alison; Smaill, Alan; Schmidt, Martin; Gust, Helmar; Kühnberger, Kai-Uwe ; Krumnack, Ulf |