01511nam2-2200409li-450-9900002117402033163-540-58403-X0021174USA010021174(ALEPH)000021174USA01002117420001109d1991994-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 science845altro genere00100202642001Lecture notes in computer sciencecongressimonaco di baviera1994elaborazione elettronicamodelli matematicicongressi1994logica matematicacongressi1994005131Logica matematica (Logica simbolica)Jouannaud,Jean-PierreInternational conference CCL'941.Monaco di Baviera1994Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211740203316001 LNCS (845)001637500100103578BKSCI1995101020001110USA011714ALANDI9020010131USA01101220020403USA011629PATRY9020040406USA011615UNISA