|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A comparative study of several proof procedures |
Bibel, Wolfgang |
1982 |
18 | 3 |
p. 269-293 25 p. |
article |
|
| 2 | Author index—Volume 18 |
1982 |
18 | 3 |
p. 376- 1 p. |
article |
||
| 3 | Call for papers: First international symposium on medical imaging and image interpretation |
1982 |
18 | 3 |
p. 373-374 2 p. |
article |
||
| 4 | Contents—Volume 18 1982 |
1982 |
18 | 3 |
p. 377-378 2 p. |
article |
||
| 5 | Optimal search strategies for speech understanding control |
Woods, W.A. |
1982 |
18 | 3 |
p. 295-326 32 p. |
article |
|
| 6 | Symposium on empirical foundations of information and software science |
1982 |
18 | 3 |
p. 373- 1 p. |
article |
||
| 7 | The handbook of artificial intelligence |
Hayes-Roth, Frederick |
1982 |
18 | 3 |
p. 369-371 3 p. |
article |
|
| 8 | Using slots and modifiers in logic grammars for natural language |
McCord, Michael C. |
1982 |
18 | 3 |
p. 327-367 41 p. |
article |
8 results found