Logical Foundations for Rule-Based Systems - Ligêza, Antoni; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006)
Keywords: Engineering; Artificial intelligence; Engineering mathematics; Engineering; Appl.Mathematics/Computational Methods of Engineering; Artificial Intelligence (incl. Robotics)