0444879528Boole
DB and IR Integration
DB-IR-ranking
Contexts for Quantification
Rough Set Data Analysis
[email protected] weikum/ Gerhard Weikum DB & IR: Both Sides Now in collaboration with Georgiana Ifrim, Gjergji Kasneci,
Logica
Finite Model Property for Guarded Fragments
Proper Calculator Keyboards and Attachable Overlays
Mathematical Logic