Bibliography

Export 8 results:
Author [ Title(Asc)] Type Year
Filters: Author is Adam Kups  [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.
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.