LEADER 01672nam0 22003253i 450 
001 AQ10002856
005 20251003044040.0
010   $a0387572724$bNew York
010   $a3540572724$bBerlin
100   $a20090730d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aDesign and implementation of symbolic computation systems$einternational symposium, DISCO '92$eBath, U. K., April 13-15, 1992$eproceedings$fJohn Fitch (ed.) 
210   $aBerlin [etc.]$cSpringer-Verlag$dc1993
215   $a214 p.$d24 cm.
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v721
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v721$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
676   $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22
702  1$aFitch$b, John$3AQ1V001508
710 12$aInternational Symposium on Design and Implementation of Symbolic Computation Systems$f <1992$e ; Bath>$3NAPV111737$4070$0714559
791 12$aInternational Symposium DISCO '92$f <1992$e ; Bath>$3NAPV111738$zInternational Symposium on Design and Implementation of Symbolic Computation Systems <1992 ; Bath>
801  3$aIT$bIT-000000$c20090730
850   $aIT-BN0095          
912   $aAQ10002856
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000013025  VMA   (0721               v. 721$fY $h19940908$i19940908
977   $a 01
996   $aDesign and implementation of symbolic computation systems$91381883
997   $aUNISANNIO