Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Approximation Algorithms for the Class Cover Problem Adam H. Cannon
 2004
 40 3 p. 215-223
9 p.
 artikel
2 A Theory of Frame Transformations for Belief Combination Sergio A. Alvarez
 2004
 40 3 p. 187-213
27 p.
 artikel
3 Identifying Terminal Distinguishable Languages H. Fernau
 2004
 40 3 p. 263-281
19 p.
 artikel
4 Locally Determined Logic Programs and Recursive Stable Models Douglas Cenzer
 2004
 40 3 p. 225-262
38 p.
 artikel
5 Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination Fumiaki Okushi
 2004
 40 3 p. 373-401
29 p.
 artikel
6 Reasoning with BKBs Algorithms and Complexity Tzachi Rosen
 2004
 40 3 p. 403-425
23 p.
 artikel
7 Satisfiability-Based Algorithms for Boolean Optimization Vasco M. Manquinho
 2004
 40 3 p. 353-372
20 p.
 artikel
8 Solving Hierarchical Constraints over Finite Domains with Local Search Martin Henz
 2004
 40 3 p. 283-301
19 p.
 artikel
9 Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems Oliver Kullmann
 2004
 40 3 p. 303-352
50 p.
 artikel
10 Volume Index 2004
 40 3 p. 427-430
5 p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland