FORMAL METHODS IN ARTIFICIAL INTELLIGENCE - Delahaye, Jean-Paul (London North Oxford Academic, 1987)
Trans. Of Outils Logiques Pour Intelligence Artificielle
Keywords: Artificial Intelligence