Bibliography

Export 1 results:

Filters: Author is Mariusz Urbanski [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

M

M. Komosinski, Kups, A., and Urbanski, M., “Multi-criteria evaluation of abductive hypotheses: towards efficient optimization in proof theory”, in Proceedings of the 18th International Conference on Soft Computing, Brno, Czech Republic, 2012, pp. 320–325.