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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Actions Over a Constructive Semantics for Description Logics Bozzato, Loris
2009
96 3 p. 253-269
artikel
2 Advances in Computational Logic (CILC08) 2009
96 3 p. i-ii
artikel
3 A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs Senni, Valerio
2009
96 3 p. 373-393
artikel
4 ALC + T: a Preferential Extension of Description Logics Giordano, Laura
2009
96 3 p. 341-372
artikel
5 GASP: Answer Set Programming with Lazy Grounding Dal Pal├╣, Alessandro
2009
96 3 p. 297-322
artikel
6 Integrating Finite Domain and Set Constraints into a Set-based Constraint Language Bergenti, Federico
2009
96 3 p. 227-252
artikel
7 Model Checking for Graded CTL Ferrante, Alessandro
2009
96 3 p. 323-339
artikel
8 Normal Form Nested Programs Bria, Annamaria
2009
96 3 p. 271-295
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland