Rudolph Sebastian

Доклады и лекции в базе данных Math-Net.Ru

1. Decidability of Conjunctive Queries for Description Logics with Counting, Inverses and Nominals
   Sebastian Rudolph
   Коллоквиум Факультета компьютерных наук НИУ ВШЭ
   15 марта 2016 г. 18:10