Numbers

Basic Bibliography Published theses Top keywords Keyword timeline Co-mentors

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
denotacijska semantika   1      1  
logika prvega reda       1  1  
diplomske naloge 11          
univerzitetni študij 11          
kategorije     1     1 
genetski algoritmi  1   1      
strojno učenje 1      1    
računalništvo 11          
dependent type theory           11
proof assistant           11
algebraic theory           11