02077nam0 22003493i 450 AQ1000760920241115062113.00387582746New York3540582746Berlin20111102d1994 ||||0itac50 baengdez01i xxxe z01nOrders, algorithms and applicationsInternational workshop ORDAL '94Lyon, France, July 4-8, 1994proceedingsVincent Bouchitté, Michel Morvan (eds.)Berlin [etc.]Springerc1994204 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis831001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis831702 1Goos, GerhardAQ1V006441340511.3PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.33LOGICA MATEMATICA (LOGICA SIMBOLICA). ORDINE, RETICOLI, STRUTTURE ALGEBRICHE ORDINATE22Bouchitté, VincentAQ1V004018Morvan, MichelAQ1V004019International workshop on orders, algorithms and applications <1994 ; Lione>AQ1V004017070714643ORDAL '94 <1994 ; Lione>NAPV119489International workshop on orders, algorithms and applications <1994 ; Lione>ITIT-NA007920111102IT-BN0095 AQ10007609Biblioteca 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 0000022485 B FD831 v. 8313 1996021920111102 01Orders, algorithms and applications1381982UNISANNIO