Title: Logic for learning
Subjects: Computer logic, Machine learning, Structured programming, Logic, symbolic and mathematical, Logique informatique, Apprentissage automatique, Programmation structuree, Aprendizado computacional, Inteligencia artificial