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 |