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 565 van 699 gevonden artikelen
 
 
  Prolog technology for default reasoning: proof theory and compilation techniques
 
 
Titel: Prolog technology for default reasoning: proof theory and compilation techniques
Auteur: Schaub, Torsten
BrĂ¼ning, Stefan
Verschenen in: Artificial intelligence
Paginering: Jaargang 106 (1998) nr. 1 pagina's 75 p.
Jaar: 1998
Inhoud:
Uitgever: Published by Elsevier B.V.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 565 van 699 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland