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
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application Baroni, Pietro
2018
257 C p. 158-207
artikel
2 Constants and finite unary relations in qualitative constraint reasoning Jonsson, Peter
2018
257 C p. 1-23
artikel
3 Editorial Board 2018
257 C p. ii
artikel
4 Enhancing context knowledge repositories with justifiable exceptions Bozzato, Loris
2018
257 C p. 72-126
artikel
5 Parallelizing SMT solving: Lazy decomposition and conciliation Cheng, Xi
2018
257 C p. 127-157
artikel
6 Star-topology decoupled state space search Gnad, Daniel
2018
257 C p. 24-60
artikel
7 The complexity landscape of decompositional parameters for ILP Ganian, Robert
2018
257 C p. 61-71
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland