01333nam--2200397---450-9900005129302033163-540-51369-80051293USA010051293(ALEPH)000051293USA01005129320010615d1989----km-y0itay0103----baengDE||||||||001yyConstructive methods in computing scienceinternational summer school directed by F.L. Bauer...edited by Manfred BroyBerlinSpringerc1989VIII, 478 p.24 cmNATO ASI seriesSeries FComputer and systems sciences55Atti del convegno tenuto a Marktoberdorf nel 19882001NATO ASI seriesSeries FComputer and systems sciences55001-------2001Elaborazione elettronica dei dati dei Congressi 1988CongressiMarktoberdorf1988004BROY,ManfredITsalbcISBD990000512930203316004 CON10593 ING004BKTECPATTY9020010615USA01163520020403USA011700PATRY9020040406USA011636Constructive methods in computing science886897UNISA