Bibliography
Export 1 results:
Author Title Type [ Year![(Asc)](https://www.cs.put.poznan.pl/mkomosinski/site/sites/all/modules/biblio/misc/arrow-asc.png)
Filters: First Letter Of Last Name is U and Author is Mariusz Urbanski [Clear All Filters]
“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.
,