Logic-based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers - International Workshop on Logic-based Program Synthesis and Transformation 2000 : Londýn, Anglie); Lau, K.-K. (Kung-Kiu), 1953- (Berlin : Springer, 2001)
Keywords: výpočetní technika; computer science; sborníky konferencí; proceedings of conferences