Learning Concepts by Synthesizing Minimal Threshold Gate NetworksArlindo L. Oliveira, Alberto Sangiovanni‐VincentelliElsevier eBooks book