LEADER 02476nam0 22005053i 450 001 AQ10005875 005 20251003044041.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$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aELABORATORI ELETTRONICI$xProgrammazione$xCongressi$x1994$2FIR$3NAPC096490$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 696 $aConvegni$aCongressi e convegni 696 $aConvegni$aCongressi e convegni 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 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-000000$c20090907 850 $aIT-BN0095 912 $aAQ10005875 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000027175 VMA (0789 v. 789$fY $h19960923$i19960923 977 $a 01 996 $aTheoretical aspects of computer software$91381950 997 $aUNISANNIO