00937nam0-22003131i-450-99000047031040332120080717104151.0000047031FED01000047031(Aleph)000047031FED0100004703120020821d1977----km-y0itay50------baenga-------001yy<<The >>logic of computer programmingZohar Manna, Richard WaldingerStanfordComputer Science Department197783 p.ill.28 cmStanford artificial intelligence laboratory, memo AIM-298Computer science departement report no. STAN-CS-77-611Programmazione005Manna,ZoharWaldinger,RichardITUNINARICAUNIMARCBK99000047031040332110 P.T. 2251286 CCEDINELDINELUNINA