Generalized Quantifiers in Logic Programs

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Eiter, T, Gottlob, G, Veith, H
Ձևաչափ: Conference item
Հրապարակվել է: Springer 1997