Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

 
<< vorige   
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 10 van 10 gevonden artikelen
 
 
  Towards Proof Planning for M ω + 1 1 This work was supported in part by the National Science Foundation NSF under grants CCR-0133502 and INT-9909952, and by the German Academic Exchange Service DAAD.
 
 
Titel: Towards Proof Planning for M ω + 1 1 This work was supported in part by the National Science Foundation NSF under grants CCR-0133502 and INT-9909952, and by the German Academic Exchange Service DAAD.
Auteur: Schürmann, Carsten
Autexier, Serge
Verschenen in: Electronic notes theoretical computer science
Paginering: Jaargang 70 (2002) nr. 2 pagina's 22 p.
Jaar: 2002
Inhoud:
Uitgever: Published by Elsevier B.V.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 10 van 10 gevonden artikelen
 
<< vorige   
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland