Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 24 of 48 found articles
 
 
  Formal specification and proofs for the topology and classification of combinatorial surfaces
 
 
Title: Formal specification and proofs for the topology and classification of combinatorial surfaces
Author: Dehlinger, Christophe
Dufourd, Jean-Fran├žois
Appeared in: Computational geometry
Paging: Volume 47 (2014) nr. 9 pages 22 p.
Year: 2014
Contents:
Publisher: Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 24 of 48 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands