Нравится LibRing?
Расскажи друзьям:
H. Jaakkola, Hannu Kangassalo, Tadahiro Kitahashi, Hannu Jaakkola

Information Modelling and Knowledge Bases V: Principles and Formal Techniques (Frontiers in Artificial Intelligence and Applications)