Old Web
English
Sign In
Acemap
>
Paper
>
L Ω UI : L ovely ΩMEGA U ser I nterface
L Ω UI : L ovely ΩMEGA U ser I nterface
1999
Jörg H. Siekmann
Stephan Hess
Christoph Benzmüller
Lassaad Cheikhrouhou
Armin Fiedler
Helmut Horacek
Michael Kohlhase
Karsten Konrad
Andreas Meier
Erica Melis
Martin Pollet
Volker Sorge
Keywords:
Discrete mathematics
Computer science
Pure mathematics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
24
Citations
NaN
KQI
[]