Auflistung nach Autor "Homola, Martin"
Anzeige der Dokumente 1-2 von 2
-
The AAA ABox Abduction Solver
Pukancová, Júlia; Homola, Martin
517-522 -
Towards Higher-order OWL
Homola, Martin; Kľuka, Ján; Hozzová, Petra; Svátek, Vojtěch; Vacura, Miroslav
417-421