George Boole, a Forerunner of Symbolic Computation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Principles of human-computer collaboration for knowledge discovery in science
Artificial Intelligence
Hi-index | 0.00 |