LEADER 01495nam2-2200397li-450 
001 990001112620203316
005 20180312154825.0
010   $a3-540-44310-X
035   $a000111262
035   $aUSA01000111262
035   $a(ALEPH)000111262USA01
035   $a000111262
100   $a2002002122002-------y0itay0103----ba
101 0 $aENG
102   $aGW
200 1 $aGraph transformation$eFirst international Conference, ICGT 2002$eBarcelona, Spain, October 7-12, 2002$eproceedings$fAndrea Corradini...<et.al> (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002
215   $aXI, 457 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v2505
410  0$10010020264$12001$aLecture notes in computer science
610 1 $agrafi$acongressi$a2002
676   $a511.3$9Logica simbolica (Logica matematica)
702  1$aCorradini,$bAndrea
710 12$aInternational Conference ICGT 2002 <1. ; 2002 ; Barcelona , Spain >$0753746
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990001112620203316
951   $a001 LNCS (2505)$b0027335 CBS$c001$d00113214
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021206$lUSA01$h1219
979   $aDIGIUSEPPE$b90$c20021206$lUSA01$h1220
979   $aDIGIUSEPPE$b90$c20021209$lUSA01$h1300
979   $aDIGIUSEPPE$b90$c20021209$lUSA01$h1300
979   $aPATRY$b90$c20040406$lUSA01$h1717
996   $aGraph transformation$91516301
997   $aUNISA