TY  - BOOK
AU  -  ACIEGO (Mannel Ojeda)/ GUZMAN (Inmap) & Etc.
TI  - Logics in Artifical Intelligence 
U1  - 006.3 
CY  - New Delhi
PB  - SPRINGER 
ER  -