TY  - DATA
AU  - Ligêza,Antoni
ED  - SpringerLink (Online service)
TI  - Logical Foundations for Rule-Based Systems
SN  - 9783540324461
AV  - QA76.76.E95 L54 2006
PY  - 2006///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Engineering
KW  - Artificial intelligence
KW  - Engineering mathematics
KW  - Appl.Mathematics/Computational Methods of Engineering
KW  - Artificial Intelligence (incl. Robotics)
UR  - http://dx.doi.org/10.1007/3-540-32446-1
ER  -