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 15 van 56 gevonden artikelen
 
 
  Designing and proving correct a convex hull algorithm with hypermaps in Coq
 
 
Titel: Designing and proving correct a convex hull algorithm with hypermaps in Coq
Auteur: Brun, Christophe
Dufourd, Jean-Fran├žois
Magaud, Nicolas
Verschenen in: Computational geometry
Paginering: Jaargang 45 (2012) nr. 8 pagina's 22 p.
Jaar: 2012
Inhoud:
Uitgever: Elsevier B.V.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 15 van 56 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland