Artificial Intelligence and Symbolic ComputationJaques Calmet, Tetsuo Ida, Dongming Wang · First published 2006Open the Tome