01580nam2-2200421li-450 99000021174020331620180312154811.03-540-58403-X0021174USA010021174(ALEPH)000021174USA01002117420001109d1994----km-y0itay0103----baengGWConstraints in computational logicsfirst International conference CCL'94Munich, Germany, September 7-9, 1994proceedingsJean-Pierre Jouannaud (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994VIII, 367 p.ill.24 cmLecture notes in computer science84500100202642001Lecture notes in computer sciencecongressimonaco di baviera1994elaborazione elettronicamodelli matematicicongressi1994logica matematicacongressi1994005131Logica matematica (Logica simbolica)Jouannaud,Jean-PierreInternational conference CCL'941.Monaco di Baviera1994753878Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211740203316001 LNCS (845)001637500100103578BKSCI1995101020001110USA011714ALANDI9020010131USA01101220020403USA011629PATRY9020040406USA011615Constraints in computational logics1516638UNISA