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
 
                             11 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A propositional theorem prover to solve planning and other problems Allen Van Gelder
 1999
 26 1 p. 87-112
26 p.
 artikel
2 Diagnosing double regular systems Endre Boros
 1999
 26 1 p. 171-191
21 p.
 artikel
3 Errata The relationship between knowledge, belief, and certainty Joseph Y. Halpern
 1999
 26 1 p. 253-256
4 p.
 artikel
4 Inference of monotonicity constraints in Datalog programs Alexander Brodsky
 1999
 26 1 p. 29-57
29 p.
 artikel
5 Lemma and cut strategies for propositional model elimination Allen Van Gelder
 1999
 26 1 p. 113-132
20 p.
 artikel
6 Maintenance scheduling problems as benchmarks for constraint algorithms Daniel Frost
 1999
 26 1 p. 149-170
22 p.
 artikel
7 Parallel cooperative propositional theorem proving Fumiaki Okushi
 1999
 26 1 p. 59-85
27 p.
 artikel
8 Pattern recognition by an optical thinfilm multilayer model Xiaodong Li
 1999
 26 1 p. 193-213
21 p.
 artikel
9 Perceive this as that Analogies, artificial perception, and category theory Zippora ArziGonczarowski
 1999
 26 1 p. 215-252
38 p.
 artikel
10 Settheoretic completeness for epistemic and conditional logic Joseph Y. Halpern
 1999
 26 1 p. 1-27
27 p.
 artikel
11 Strong bounds on the approximability of two Pspacehard problems in propositional planning Peter Jonsson
 1999
 26 1 p. 133-147
15 p.
 artikel
                             11 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland