|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Acquiring search-control knowledge via static analysis |
Etzioni, Oren |
1993 |
62 | 2 |
p. 255-301 47 p. |
article |
|
| 2 | Announcements |
1993 |
62 | 2 |
p. 383-386 4 p. |
article |
||
| 3 | Author index—Volume 62 (1993) |
1993 |
62 | 2 |
p. 391-392 2 p. |
article |
||
| 4 | Books received |
1993 |
62 | 2 |
p. 379-381 3 p. |
article |
||
| 5 | Computer systems that learn |
Segre, Alberto |
1993 |
62 | 2 |
p. 363-378 16 p. |
article |
|
| 6 | Formal semantics for mutual belief |
Colombetti, Marco |
1993 |
62 | 2 |
p. 341-353 13 p. |
article |
|
| 7 | Forthcoming papers |
1993 |
62 | 2 |
p. 387-390 4 p. |
article |
||
| 8 | Ontic: A knowledge representation system for mathematics |
Shankar, Natarajan |
1993 |
62 | 2 |
p. 355-362 8 p. |
article |
|
| 9 | Rippling: A heuristic for guiding inductive proofs |
Bundy, Alan |
1993 |
62 | 2 |
p. 185-253 69 p. |
article |
|
| 10 | The complexity of path-based defeasible inheritance |
Selman, Bart |
1993 |
62 | 2 |
p. 303-339 37 p. |
article |
10 results found