Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
1 |
| |||||||
1994 | Coloured Rippling: An Extension of a Theorem Proving Heuristic In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89 | Proceedings Article | ||||||
1 |
| |||||||
1 |
| |||||||
782 |
|