Kovács, Laura.
Overview
            | Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    Intelligent computer mathematics = 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024 : proceedings /
                  
                  by: 
                  Kohlhase, Andrea.; SpringerLink (Online service); Kovács, Laura.; Workshop on the Preservation of Stability under Discretization ((2001 :)
                  (Language materials, printed)
                  
                  
                
                  
                    Reachability problems = 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings /
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); Sokolova, Ana.; Kovács, Laura.; SpringerLink (Online service)
                  (Language materials, printed)
                  
                  
                
                  
                    Integrated formal methods = 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings /
                  
                  by: 
                  Workshop on the Preservation of Stability under Discretization ((2001 :); Kosmatov, Nikolai.; SpringerLink (Online service); Kovács, Laura.
                  (Language materials, printed)
                  
                  
                
                
          Subjects
          
            
              
                Software Engineering.
              
            
              
                Artificial intelligence
              
            
              
                Computer Application in Social and Behavioral Sciences.
              
            
              
                Formal methods (Computer science)
              
            
              
                Artificial Intelligence.
              
            
              
                Design and Analysis of Algorithms.
              
            
              
                Decidability (Mathematical logic)
              
            
              
                Formal Languages and Automata Theory.
              
            
              
                Computers and Education.
              
            
              
                Computer and Information Systems Applications.
              
            
              
                Computer Science Logic and Foundations of Programming.
              
            
              
                Computer systems
              
            
              
                Logic in AI.
              
            
              
                Mathematics of Computing.
              
            
              
                Computer science