Vyzkoušejte nový nástroj s podporou AI
  
        
        Summon Research Assistant
        BETA
      
                    
  
      
    Computational logic: its origins and applications
                                      
                                            Paulson, Lawrence C.                              
Published in Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences (01.02.2018)
                   
      
      
                                                  Published in Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences (01.02.2018)
Get full text
              Journal Article
          
              
          Computational logic: its origins and applications
                                      
                                            Paulson, Lawrence C.                              
Published in Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences (28.02.2018)
                   
      
      
                                                                                
                                                        Get full text
                                        
              Published in Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences (28.02.2018)
              Journal Article