Bibliography

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is M  [Clear All Filters]
2012
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.
2009
M. Komosinski and Kups, A., “Models and implementations of timing processes using Artificial Life techniques”, Poznan University of Technology, Institute of Computing Science, RA-05/09, 2009.