Crossref Citations
                                  
                                    
                                    
                                      
                                                            This Book has been
                                        cited by the following publications. This list is generated based on data provided by Crossref.
                                     
                                   
                                  
                                        
                                          
                                                
                                                
                                                    
                                                    Gonthier, Georges
                                                     and 
                                                    Tassi, Enrico
                                                  2012.
                                                  Interactive Theorem Proving.
                                                  
                                                  
                                                  
                                                  Vol. 7406, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    361.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Gonthier, Georges
                                                    
                                                    Asperti, Andrea
                                                    
                                                    Avigad, Jeremy
                                                    
                                                    Bertot, Yves
                                                    
                                                    Cohen, Cyril
                                                    
                                                    Garillot, François
                                                    
                                                    Le Roux, Stéphane
                                                    
                                                    Mahboubi, Assia
                                                    
                                                    O’Connor, Russell
                                                    
                                                    Ould Biha, Sidi
                                                    
                                                    Pasca, Ioana
                                                    
                                                    Rideau, Laurence
                                                    
                                                    Solovyev, Alexey
                                                    
                                                    Tassi, Enrico
                                                     and 
                                                    Théry, Laurent
                                                  2013.
                                                  Interactive Theorem Proving.
                                                  
                                                  
                                                  
                                                  Vol. 7998, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    163.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Mahboubi, Assia
                                                  2013.
                                                  Intelligent Computer Mathematics.
                                                  
                                                  
                                                  
                                                  Vol. 7961, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    1.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Hales, Thomas C.
                                                  2014.
                                                  Turing's Legacy.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    253.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Kornai, András
                                                  2014.
                                                  Bounding the impact of AGI.
                                                  
                                                  
                                                  Journal of Experimental & Theoretical Artificial Intelligence, 
                                                  Vol. 26, 
                                                  Issue. 3, 
                                                
                                                    p. 
                                                    417.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Masuhara, Takaaki
                                                    
                                                    Kuriyama, Toru
                                                    
                                                    Yoshida, Masakazu
                                                     and 
                                                    Cheng, Jun
                                                  2015.
                                                  Formal Verification of Robertson-Type Uncertainty Relation.
                                                  
                                                  
                                                  Journal of Quantum Information Science, 
                                                  Vol. 05, 
                                                  Issue. 02, 
                                                
                                                    p. 
                                                    58.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Héthelyi, L.
                                                     and 
                                                    Szőke, M.
                                                  2024.
                                                  On the Uniqueness Theorem.
                                                  
                                                  
                                                  Communications in Algebra, 
                                                  Vol. 52, 
                                                  Issue. 11, 
                                                
                                                    p. 
                                                    4896.