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
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Acquiring search-control knowledge via static analysis Etzioni, Oren
1993
62 2 p. 255-301
47 p.
artikel
2 Announcements 1993
62 2 p. 383-386
4 p.
artikel
3 Author index—Volume 62 (1993) 1993
62 2 p. 391-392
2 p.
artikel
4 Books received 1993
62 2 p. 379-381
3 p.
artikel
5 Computer systems that learn Segre, Alberto
1993
62 2 p. 363-378
16 p.
artikel
6 Formal semantics for mutual belief Colombetti, Marco
1993
62 2 p. 341-353
13 p.
artikel
7 Forthcoming papers 1993
62 2 p. 387-390
4 p.
artikel
8 Ontic: A knowledge representation system for mathematics Shankar, Natarajan
1993
62 2 p. 355-362
8 p.
artikel
9 Rippling: A heuristic for guiding inductive proofs Bundy, Alan
1993
62 2 p. 185-253
69 p.
artikel
10 The complexity of path-based defeasible inheritance Selman, Bart
1993
62 2 p. 303-339
37 p.
artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland