skip to main content

Logic based program synthesis and transformation 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

LOPSTR 2002 (2002 Madrid, Spain) Michael Leuschel

Berlin Springer New York c2003

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2664 )(Obténgalo)

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora