George Boole, a Forerunner of Symbolic Computation.

Luis M. Laita Luis de Ledesma Eugenio Roanes-Lozano Alberto Brunori

Published in: AISC (2000)

Keyphrases

years ago
imperative programs
automated deduction
san diego
artificial neural networks
machine learning
expert systems
query processing
general purpose
linear programming
dynamic environments
dynamic logic