01550nam--2200445---450-9900003201702033163-540-67628-70032017USA010032017(ALEPH)000032017USA01003201720010108d2000----km-y0itay0103----baengDE||||||||001yyLogic-Based program synthesis and trasformation9th international workshop, LOPSTR'99Venezia, Italia, September 22-24, 1999 selected papersAnnalisa BossiBerlinSpringer-Verlagc2000VIII, 312 p.ill.25 cmLecture notes in computer science18172001Lecture notes in computer science1817001-------2001Prammazione logicaCongressi1999CongressiVenezia1999005.1BOSSI,AnnalisaInternational workshop LOPSTR'99 <9.;1999; Venezia>542581ITsalbcISBD990000320170203316001 LNCS (1817)CBS 002559100100103199BKSCITAMI4020010108USA011625TAMI4020010108USA011626TAMI4020010108USA011652TAMI4020010108USA011652TAMI4020010108USA01170320020403USA011640PATRY9020040406USA011622Logic-Based program synthesis and trasformation878976UNISA