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
 
                             4 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Decidability and Complexity Analysis by Basic Paramodulation Nieuwenhuis, Robert
1998
147 1 p. 1-21
21 p.
artikel
2 Noise-Tolerant Parallel Learning of Geometric Concepts Bshouty, Nader H.
1998
147 1 p. 89-110
22 p.
artikel
3 The Expressive Power of Stratified Logic Programs with Value Invention Cabibbo, Luca
1998
147 1 p. 22-56
35 p.
artikel
4 Verifiable Properties of Database Transactions Benedikt, Michael
1998
147 1 p. 57-88
32 p.
artikel
                             4 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland