Numbers

The table show keyword appearance of all theses, where this person is in the role of a mentor. Table includes only keywords, appearing at least twice. This shows, how mentor's research fields and interest are changing through time.

Person: Andrej Bauer

Keyword2010201120122013201420152016201720182019202020212022
matematika 2 2 212     
funkcijsko programiranje  1  1 12    
umetna inteligenca 1    1 1    
lambda račun1      1    1
računalništvo 11          
kategorije     1     1 
denotacijska semantika   1      1  
strojno učenje 1      1    
proof assistant           11
univerzitetni študij 11          
diplomske naloge 11          
logika prvega reda       1  1  
algebraic theory           11
genetski algoritmi  1   1      
dependent type theory           11