00505nam a2200169Ia 4500003000400000008004100004040001600045082001300061100002200074245006600096700001700162260006000179300001000239650002200249650002800271650003600299GCL140319s9999    xx            000 0 eng d  aGCL / cGCL04a004bS L1 aSPERSCHNEIDER, V.10aLOGIC A FOUNDATION FOR COMPUTER SCIENCE / cSPERSCHNEIDER, V.1 aANLONIOU, G.  a[S.N] : bADDISON - WESLEY PUBLISHING COMPANY ، c1991  a495 P04aشعر الحرب04aARTIFICIAL INTELLIGENCE04aLOGIC SYMBOLIC AND MATHEMATICAL