LEADER 01161nam--2200373---450-
001 990002961600203316
005 20070807163408.0
010   $a3-540-20971-9
035   $a000296160
035   $aUSA01000296160
035   $a(ALEPH)000296160USA01
035   $a000296160
100   $a20070807d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aModel-Checking Based Data Retrieval$ean application to semistructured and temporal data$fElisa Quintarelli
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aXIV, 134 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2917
410  0$12001$aLecture notes in computer science$v2917
454  1$12001
461  1$1001-------$12001
606   $aInformatica$xProgrammazione
676   $a005.1
700  1$aQUINTARELLI,$bElisa$0597777
801  0$aIT$bsalbc$gISBD
912   $a990002961600203316
951   $a001 LNCS 2917$b31008/CBS$c001 LNCS$d00215333
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070807$lUSA01$h1634
996   $aModel-Checking Based Data Retrieval$91026858
997   $aUNISA