LEADER 02301nam0 22003733i 450 001 AQ10005875 005 20240726073923.0 010 $a0387578870$bNew York 010 $a3540578870$bBerlin 100 $a20090907d1994 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aTheoretical aspects of computer software$eInternational symposium TACS '94$eSendai, Japan, April 19-22, 1994$eproceedings$fMasami Hagiya, John C. Mitchell (eds.) 210 $aBerlin [etc.]$cSpringer$dc1994 215 $aXI, 885 p.$d24 cm. 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v789 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v789 606 $aElaboratori elettronici$xProgrammazione$xCongressi$x1994$2FIR$3NAPC242561$9I 606 $aLogica simbolica$xCongressi$x1994$2FIR$3NAPC242562$9I 606 $aLogica matematica$xCongressi$x1994$2FIR$3NAPC242563$9I 676 $a005.1015113$9Programmazione. Principi matematici. Logica matematica (Logica simbolica)$v22 702 1$aHagiya$b, Masami$f <1957- >$3AQ1V003117 702 1$aMitchell$b, John C.$3AQ1V003118 710 12$aInternational symposium TACS$d <2.$f ; 1994$e ; Sendai>$3AQ1V003116$4070$0714617 791 12$aInternational symposium on theoretical computer software$d <2.$f ; 1994$e ; Sendai>$3AQ1V003119$zInternational symposium TACS <2. ; 1994 ; Sendai> 801 3$aIT$bIT-NA0079$c20090907 850 $aIT-BN0095 912 $aAQ10005875 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 0000027175 B (0789 v. 789$f3 $h19960923$i19960923 977 $a 01 996 $aTheoretical aspects of computer software$91381950 997 $aUNISANNIO