TY - GEN TI - Logical Foundations for Rule-Based Systems SN - 978-0-387-39361-2 AV - كتب إلكترونية PB - Springer KW - Engineering N1 - Subscription to database on August 2010 UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=3-540-29117-2 ER -