01445nam2-2200409li-450-9900002108402033163-540-60178-30021084USA010021084(ALEPH)000021084USA01002108420001109d1991995-km-y0itay0103----baengGWLogic and computational complexityInternatinal workshop LCC '94Indianapolis, IN, USA October 13-16, 1994Daniel Leivant (ed.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 514 p.ill.24 cm.Lecture notes in computer science960altro genere00100202642001Lecture notes in computer sciencecongressiindianapolis1994elaborazione elettronicacongressi1994logica matematicacongressi1994005131Logica matematica (Logica simbolica)Leivant,DanielInternational workshop LCC'94Indianapolis1994Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210840203316001 LNCS (960)001871200100102336BKSCI1996040520001110USA011714ALANDI9020010131USA01133320020403USA011629PATRY9020040406USA011615UNISA