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 Announcement 1995
 75 2 p. 373-
1 p.
 artikel
2 A typed resolution principle for deduction with conditional typing theory Wang, Tie-Cheng
 1995
 75 2 p. 161-194
34 p.
 artikel
3 Author index—Volume 75 (1995) 1995
 75 2 p. 381-382
2 p.
 artikel
4 Behaviorist intelligence and the scaling problem Tsotsos, John K.
 1995
 75 2 p. 135-160
26 p.
 artikel
5 BIDA∗: an improved perimeter search algorithm Manzini, Giovanni
 1995
 75 2 p. 347-360
14 p.
 artikel
6 Controlling cooperative problem solving in industrial multi-agent systems using joint intentions Jennings, N.R.
 1995
 75 2 p. 195-240
46 p.
 artikel
7 Forthcoming papers 1995
 75 2 p. 375-379
5 p.
 artikel
8 Multiagent negotiation under time constraints Kraus, Sarit
 1995
 75 2 p. 297-345
49 p.
 artikel
9 Robust reasoning: integrating rule-based and similarity-based reasoning Sun, Ron
 1995
 75 2 p. 241-295
55 p.
 artikel
10 The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic Halpern, Joseph Y.
 1995
 75 2 p. 361-372
12 p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland