01067nam--2200373---450-9900003614902033160036149USA010036149(ALEPH)000036149USA01003614920010315d1980----km-y0itay0103----baengUS||||||||001yyInduction recursion and programmingMitchell WandNew YorkNorth-Hollandc1980XII, 202 p.23 cm2001001-------2001Calcolatori digitaliProgrammazioneInduzioneMatematicaTeoria di ricorrenza001.642WAND,Mitchell51165ITsalbcISBD990000361490203316001.642 WAN6693001.64200105790BKSCIPATTY9020010315USA01151220020403USA011644PATRY9020040406USA011625Induction, Recursion, and Programming336649UNISA