skip to main content

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Leuschel, Michael Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.