(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Nikitina, N, Rudolph, S
Ձևաչափ: Journal article
Հրապարակվել է: 2014