Jaques Calmet, Tetsuo Ida, Dongming Wang <br/><br/>
Artificial Intelligence and Symbolic Computation 

 -  2006 
<br/><br/><label>ISBN: </label>978-3-540-39730-4 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Discrete Mathematics in Computer Science<br/>Mathematical Logic and Formal Languages<br/>Numeric Computing<br/>Symbolic and Algebraic Manipulation<br/>Computer Science