LLogiques pour l'intelligence artificielleLogiques pour l'intelligence artificiellede Raymond TurnerMateriasIntelligence artificielleLogique symbolique et mathématiqueEdiciones (1)Logiques pour l'intelligence artificielle (1986)Masson · francésMás obras de Raymond TurnerComputable models