Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 14 van 16 gevonden artikelen
 
 
  “Russian killer” no. 2: A challenging geometric theorem with human and machine proofs
 
 
Titel: “Russian killer” no. 2: A challenging geometric theorem with human and machine proofs
Auteur: Hou, Xiaorong
Li, Hongbo
Wang, Dongming
Yang, Lu
Verschenen in: The mathematical intelligencer
Paginering: Jaargang 23 (2001) nr. 1 pagina's 9-15
Jaar: 2001
Inhoud:
Uitgever: Springer-Verlag, New York
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 14 van 16 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland