cam a22 u 4500 128665106 CHVBK 20200921121647.0 880212s1983 ne | 10 |eng|d 90-277-1504-1 (OCoLC)636443084 (NEBIS)000274876 ETH-BIB ger ETH-BIB ETHICS-ISBD Computer program synthesis methodologies proceedings of the NATO Advanced Study Institute (on automatic program construction), Bonas, September 28 - October 10, 1981 ed.: Alan W. Biermann, Gérard Guiho Dordrecht Reidel 1983 IX, 374 p. fig. NATO Advanced Study Institutes series. Series C, Mathematical and physical sciences vol. 95 95 (NEBIS)000019229 291320996 PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME ger (ETHUDK)000013765 ethudk SPEZIELLE PROGRAMMIERMETHODEN ger (ETHUDK)000013735 ethudk Konferenzschrift Castéra-Verduzan 1981 gnd-content u PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME ger 004*04*03*22 nebis E1 u SPEZIELLE PROGRAMMIERMETHODEN ger 004*04*03*20 nebis E1 u PROGRAMMES ET ALGORITHMES POUR LA RÉSOLUTION DE PROBLÈMES SPÉCIFIQUES fre 004*04*03*22 nebis E1 u PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS eng 004*04*03*22 nebis E1 u MÉTHODES DE PROGRAMMATION SPÉCIFIQUES fre 004*04*03*20 nebis E1 u SPECIAL PROGRAMMING METHODS eng 004*04*03*20 nebis E1 Biermann Alan W. Guiho Gérard Advanced Study Institute on Automatic Program Construction (1981 Bonas) (DE-588)5001874-7 BK020800 XK020000 XK020000 Castéra-Verduzan Kongress = Congrès 1981 NEBIS E01 E01 MG P 713719: 95 NEBIS 490 -- NATO Advanced Study Institutes series. Series C, Mathematical and physical sciences vol. 95 95 (NEBIS)000019229 291320996 NEBIS 700 1- Biermann Alan W. NEBIS 700 1- Guiho Gérard NEBIS 711 2- Advanced Study Institute on Automatic Program Construction (1981 Bonas) (DE-588)5001874-7