LEADER 02013nam0 22003373i 450 
001 AQ10008300
005 20240726073926.0
010   $a354058403X
100   $a20110927d1994    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aConstraints in computational logics$efirst international conference, CCL '94$eMunich, Germany, September 7-9, 1994$eproceedings$fJean-Pierre Jouannaud (ed.)
210   $aBerlin \etc.!$cSpringer$dc1994
215   $aVIII, 367 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v845
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v845
606   $aLogica matematica$xCongressi$x1994$2FIR$3NAPC242563$9I
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22
702  1$aJouannaud$b, Jean-Pierre$3AQ1V003360$4340
710 12$aInternational conference constraints in computational logics$d <1.$f ; 1994$e ; Monaco>$3AQ1V004499$4070$0714668
791 12$aInternational conference CCL '94$d <1.$f ; 1994$e ; Monaco>$3TO0V163649$zInternational conference constraints in computational logics <1. ; 1994 ; Monaco>
801  3$aIT$bIT-NA0079$c20110927
850   $aIT-BN0095          
912   $aAQ10008300
950  0$aBiblioteca Centralizzata di Ateneo$bv. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000022625    B FD845                 v. 845$f3 $h19960219$i20110927
977   $a 01
996   $aConstraints in computational logics$91382010
997   $aUNISANNIO