Logiques pour l'intelligence artificielleDe : Turner RaymondLieu : ParisDate : 1986Typologie : Livres, revuesLogique symbolique et mathématiqueIntelligence artificielleIntelligence artificielle, logique