Bibliography

Export 8 results:
Author [ Title(Desc)] 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 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.
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.