Вы здесь

Главная

язык доказательств

Связанные издания:

Web Reasoning and Rule Systems: Proc./Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 2010