Contact Us

  • Address: 48 Oleska St. 45-052 Opole, Poland Room 210
  • Phone: (22) 774 527 210
  • Email: unifdl@uni.opole.pl
  • Automation of the Problem of Unification
    in Description Logics
    UnifDL
  • Principal Investigator: Barbara Morawska
  • Institute of Computer Science
    University of Opole
    48 Oleska St.
    45-052 Opole, Poland
    Room 210
  • Phone: +48 (77) 452 7210
  • Email: unifdl@uni.opole.pl

Get in touch

UNIFDL

Automation of the Problem of Unification in Description Logics

Links

Contact Us

UNIFDL

Institute of Computer Science
University of Opole

Room no. 210
48 Oleska St.
45-052 Opole, Poland

unifdl@uni.opole.pl
+48 (77) 452 7210

Copyright © 2024 UNIFDL