01495nam2-2200409li-450 99000020628020331620180312154758.03-540-63138-00020628USA010020628(ALEPH)000020628USA01002062820001109d1997----km-y0itay0103----baengGWSolving irregulary structured problems in parallel4th International symposium, IRREGULAR'97Paderborn, Germany, June 12-13, 1997proceedingsG. Bilardi ... [et al.] (eds.)BerlinoSpringer-Verlagcopyr. 1997x, 286 p.ill.23 cmLecture notes in computer science125300100202642001Lecture notes in computer sciencecongressipaderborn1997elaborazione parallelacongressi199700435MultielaborazioneBilardi,G.International symposium IRREGULAR'974.Paderborn1997753230Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206280203316001 LNCS (1253)002085300100104015BKSCI1997111620001110USA011714ALANDI9020010202USA01133920020403USA011628PATRY9020040406USA011615Solving irregulary structured problems in parallel1515165UNISA01483nam0 22003853i 450 MIL016225920251003044226.004719277750471929336pbk20081006d1990 ||||0itac50 baengenggbz01i xxxe z01nz01ncRDAcarrierLogic for information technologyAntony GaltonChichester [etc.]J. Wileyc1990xiv, 290 p.26 cm.Logic for information technologyRMS3075057MILV1025681572164Logica matematicaFIRCFIC000378ELogica simbolicaFIRSBLC002225I511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Galton, Antony <1952- >MILV10256807065845ITIT-00000020081006IT-BN0095 NAP 01SALA DING $MIL0162259Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 511.3 GAL.lo 0102 0000009415 VMA A4 1 v.Y 1994042619940426 01Logic for information technology1572164UNISANNIO