01080nam0-22003491i-450-99000049546040332120080630131747.00-444-00224-3000049546FED01000049546(Aleph)000049546FED0100004954620020821d1977----km-y0itay50------baenga-------001yyStudies in automatic programming logicZohar Manna, Richard Waldingerwith a contributions by Shmuel Katz, Karl LevittNew York ; AmsterdamNorth Holland©1977192 p.ill.24 cmArtificial intelligence series<<The >>computer science libraryProgrammazione005.133Manna,Zohar25952Waldinger,Richard25953Katz,ShmuelITUNINARICAUNIMARCBK99000049546040332110 P.T. 691621 CCEDINELDINELStudies in automatic programming logic333248UNINA