Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             10 results found
no title author magazine year volume issue page(s) type
1 Approximation Algorithms for the Class Cover Problem Adam H. Cannon
 2004
 40 3 p. 215-223
9 p.
 article
2 A Theory of Frame Transformations for Belief Combination Sergio A. Alvarez
 2004
 40 3 p. 187-213
27 p.
 article
3 Identifying Terminal Distinguishable Languages H. Fernau
 2004
 40 3 p. 263-281
19 p.
 article
4 Locally Determined Logic Programs and Recursive Stable Models Douglas Cenzer
 2004
 40 3 p. 225-262
38 p.
 article
5 Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination Fumiaki Okushi
 2004
 40 3 p. 373-401
29 p.
 article
6 Reasoning with BKBs Algorithms and Complexity Tzachi Rosen
 2004
 40 3 p. 403-425
23 p.
 article
7 Satisfiability-Based Algorithms for Boolean Optimization Vasco M. Manquinho
 2004
 40 3 p. 353-372
20 p.
 article
8 Solving Hierarchical Constraints over Finite Domains with Local Search Martin Henz
 2004
 40 3 p. 283-301
19 p.
 article
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.
 article
10 Volume Index 2004
 40 3 p. 427-430
5 p.
 article
                             10 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands