02054nam0 22003373i 450 AQ1000830020250117062428.0354058403X20110927d1994 ||||0itac50 baengdez01i xxxe z01nConstraints in computational logicsfirst international conference, CCL '94Munich, Germany, September 7-9, 1994proceedingsJean-Pierre Jouannaud (ed.)Berlin \etc.!Springerc1994VIII, 367 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis845001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis845702 1Goos, GerhardAQ1V006441340Logica matematicaCongressi1994FIRNAPC242563I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Jouannaud, Jean-PierreAQ1V003360340International conference constraints in computational logics <1. ; 1994 ; Monaco>AQ1V004499070714668International conference CCL '94 <1. ; 1994 ; Monaco>TO0V163649International conference constraints in computational logics <1. ; 1994 ; Monaco>ITIT-NA007920110927IT-BN0095 AQ10008300Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000022625 B FD845 v. 8453 1996021920110927 01Constraints in computational logics1382010UNISANNIO