01513nam2-2200421li-450 99000021084020331620180312154913.03-540-60178-30021084USA010021084(ALEPH)000021084USA01002108420001109d1995----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 science96000100202642001Lecture notes in computer sciencecongressiindianapolis1994elaborazione elettronicacongressi1994logica matematicacongressi1994005131Logica matematica (Logica simbolica)Leivant,DanielInternational workshop LCC'94Indianapolis1994754746Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210840203316001 LNCS (960)001871200100102336BKSCI1996040520001110USA011714ALANDI9020010131USA01133320020403USA011629PATRY9020040406USA011615Logic and computational complexity1518952UNISA