Languages
          
        
        
      Wansing, Heinrich.
Overview
            | Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    New Essays on Belnap-Dunn Logic
                  
                  by: 
                  Omori, Hitoshi.; SpringerLink (Online service); Wansing, Heinrich.
                  (Language materials, printed)
                  , [http://id.loc.gov/vocabulary/relators/edt]
                  
                
                  
                    Dag Prawitz on Proofs and Meaning
                  
                  by: 
                  SpringerLink (Online service); Wansing, Heinrich.
                  (Language materials, printed)
                  , [http://id.loc.gov/vocabulary/relators/edt]
                  
                
                  
                    Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
                  
                  by: 
                  Wansing, H.; SpringerLink (Online service); JELIA 2008 ((2008 :); Lutz, Carsten.; Holldobler, Steffen, (1957-); Wansing, Heinrich.
                  (Language materials, printed)
                  
                  
                
                  
                    Towards mathematical philosophy : = papers from the studia logica conference trends in logic IV /
                  
                  by: 
                  Makinson, David.; Wansing, Heinrich.; Malinowski, Jacek.
                  (Language materials, printed)
                  
                  
                
                  
                    Dag Prawitz on proofs and meaning
                  
                  by: 
                  SpringerLink (Online service); Wansing, Heinrich.; Prawitz, Dag.
                  (Language materials, printed)
                  
                  
                
                  
                    Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
                  
                  by: 
                  Makinson, David.; SpringerLink (Online service); Malinowski, Jacek.; Wansing, Heinrich.
                  (Language materials, printed)
                  
                  
                
                
          Subjects
          
            
              
                Mathematical logic.
              
            
              
                Computer logic.
              
            
              
                Mathematical Logic and Foundations..
              
            
              
                Computational Linguistics.
              
            
              
                Logic, Symbolic and mathematical
              
            
              
                Prawitz, Dag.
              
            
              
                Mathematics
              
            
              
                Logic design.
              
            
              
                Computational complexity
              
            
              
                Computer Science.
              
            
              
                Programming Techniques.
              
            
              
                Logic.
              
            
              
                Mathematical Logic and Formal Languages.
              
            
              
                Mathematical Logic and Foundations.
              
            
              
                Logics and Meanings of Programs.
              
            
              
                Arithmetic and Logic Structures.
              
            
              
                Philosophy.
              
            
              
                Artificial intelligence
              
            
              
                Artificial Intelligence (incl. Robotics)
              
            
              
                Mathematics.
              
            
              
                Logic, Symbolic and mathematical.