Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             2 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 SLDNFA: An abductive procedure for abductive logic programs Denecker, Marc
1998
34 2 p. 111-167
57 p.
artikel
2 Tabulated resolution for the well-founded semantics Bol, Roland
1998
34 2 p. 67-109
43 p.
artikel
                             2 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland