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 24 van 28 gevonden artikelen
 
 
  The List Introduction Strategy for the Derivation of Logic Programs
 
 
Titel: The List Introduction Strategy for the Derivation of Logic Programs
Auteur: Pettorossi, Alberto
Proietti, Maurizio
Verschenen in: Formal aspects of computing
Paginering: Jaargang 13 (2002) nr. 3-5 pagina's 233-251
Jaar: 2002
Inhoud:
Uitgever: Springer-Verlag London Limited, London
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 24 van 28 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland