Languages
          
        
        
      Uustalu, Tarmo.
Overview
            | Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    Theoretical Aspects of Computing – ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings /
                  
                  by: 
                  Fischer, Bernd.; SpringerLink (Online service); Uustalu, Tarmo.
                  (Language materials, printed)
                  , [http://id.loc.gov/vocabulary/relators/edt]
                  
                
                  
                    Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); Uustalu, Tarmo.; SpringerLink (Online service); Vene, Varmo.
                  (Language materials, printed)
                  
                  
                
                  
                    Theoretical aspects of computing - ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings /
                  
                  by: 
                  Fischer, Bernd.; SpringerLink (Online service); Uustalu, Tarmo.; Workshop on the Preservation of Stability under Discretization ((2001 :)
                  (Language materials, printed)
                  
                  
                
                
          Subjects
          
            
              
                Software Engineering.
              
            
              
                Mathematical logic.
              
            
              
                Artificial Intelligence (incl. Robotics)
              
            
              
                Functional programming (Computer science)
              
            
              
                Computer logic.
              
            
              
                Artificial Intelligence.
              
            
              
                Artificial intelligence.
              
            
              
                Software engineering.
              
            
              
                Computer science.
              
            
              
                Computer Science.
              
            
              
                Programming Techniques.
              
            
              
                Programming Languages, Compilers, Interpreters.
              
            
              
                Programming languages (Electronic computers).
              
            
              
                Computer science
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Mathematical Logic and Formal Languages.