Bibliography
Export 1 results:
Author Title Type [ Year
] Filters: Author is Mariusz Urbanski and First Letter Of Title is M [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.