LEADER 01466nam--2200421---450- 001 990000337790203316 010 $a3-540-67281-8 035 $a0033779 035 $aUSA010033779 035 $a(ALEPH)000033779USA01 035 $a0033779 100 $a20010207d2000----km-y0itay0103----ba 101 $aeng 102 $aDE 105 $a||||||||001yy 200 1 $aFronties of combiningsystem$ethird International workschop,FroCos 2000$eNancy, France, March 22-24, 2000$eproceedings$fHelene Kirchner...[et al] (eds) 210 $aBerlino$cSpringer-Verlag$dc2000 215 $aX, 289 p.$cill.$d24 cm 225 2 $aLecture notes in artificial intelligence$v1794 300 $aSerie pricipale: Lecture notes in computer science 410 0 $12001$aLecture notes in artificial intelligence$v1794 461 1$1001-------$12001 610 0 $aLogica matematica$xCongressi$z2000 610 0 $aCongressi$yNancy$z2000 676 $a511.3 702 1$aKIRCHNER,$bHélène 710 12$aInternational workschop, FroCos 2000 <3.; 2000; Nancy>$0542911 801 0$aIT$bsalbc$gISBD 912 $a990000337790203316 951 $a006.3 LNIA (1794)$bCBS 0025047$c006.3$d00100096 959 $aBK 969 $aSCI 979 $aTAMI$b40$c20010207$lUSA01$h1727 979 $aALANDI$b90$c20010402$lUSA01$h1630 979 $c20020403$lUSA01$h1641 979 $aPATRY$b90$c20040406$lUSA01$h1624 996 $aFronties of combiningsystem$9878021 997 $aUNISA