TY  - BOOK
AU  - SPERSCHNEIDER,V.
AU  - ANLONIOU,G.
TI  - LOGIC A FOUNDATION FOR COMPUTER SCIENCE / 
U1  - 004 
PY  - 1991///
CY  - [S.N] : 
PB  - ADDISON - WESLEY PUBLISHING COMPANY ، 
KW  - شعر الحرب
KW  - ARTIFICIAL INTELLIGENCE
KW  - LOGIC SYMBOLIC AND MATHEMATICAL
ER  -