Martin Gebser

Answer Set Solving in Practice

Подробнее