Bu türde 2 kitap
Theory and Applications of Satisfiability Testing – SAT 2013
Matti Järvisalo
Neural networks
G. Dreyfus
