Edward A. Feigenbaum;Julian Feldman
Stanford Univ., Stanford, CA;Univ. of California, Irvine
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Editorial: Artificial-intelligence-augmented systems
Artificial Intelligence in Medicine