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
 
                             11 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A mechanical solution of Schubert's Steamroller by many-sorted resolution Walther, Christoph
1985
26 2 p. 217-224
8 p.
artikel
2 Books received 1985
26 2 p. 227-230
4 p.
artikel
3 Expanding the book reviews Stefik, Mark J.
1985
26 2 p. 225-
1 p.
artikel
4 Forthcoming papers) (1985) 65–74] 1985
26 2 p. 249-
1 p.
artikel
5 Improved methods of estimating shape from shading using the light source coordinate system Lee, Chia-Hoang
1985
26 2 p. 125-143
19 p.
artikel
6 Intelligent tutoring systems Stefik, Mark
1985
26 2 p. 238-245
8 p.
artikel
7 Intelligent tutoring systems Auguste, Donna
1985
26 2 p. 233-238
6 p.
artikel
8 Letters on reviews 1985
26 2 p. 231-
1 p.
artikel
9 Ordering conjunctive queries Smith, David E.
1985
26 2 p. 171-215
45 p.
artikel
10 The complexity of some polynomial network consistency algorithms for constraint satisfaction problems 1985
26 2 p. 247-
1 p.
artikel
11 Understanding objects with curved surfaces from a single perspective view of boundaries Lee, Shih Jong
1985
26 2 p. 145-169
25 p.
artikel
                             11 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland