Outils logiques pour l'intelligence artificielle - Delahaye, Jean-Paul 1952- (Eyrolles, 1988)