Ligęza, Antoni. Logical Foundations for Rule-Based Systems [electronic resource] / by Antoni Ligęza. - Second Edition. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Studies in Computational Intelligence, 11 1860-949X ; . ISBN: 9783540324461 Subjects--Topical Terms: EngineeringArtificial intelligenceEngineering mathematicsEngineeringAppl.Mathematics/Computational Methods of EngineeringArtificial Intelligence (incl. Robotics) LC Class. No.: QA76.76.E95 / L54 2006