"Optimization of prolog programs by fully automated transformation procedure using Unfold/Fold strategy with homeomorhic embedding as a control heuristic."@en . . . "385244" . "Wroclaw" . . "Optimization of prolog programs by fully automated transformation procedure"@en . "Z(MSM0021620838)" . "Wroclaw" . "Optimalizace prologovsk\u00FDch program\u016F pln\u011B automatickou transforma\u010Dn\u00ED procedurou"@cs . "Optimization of prolog programs by fully automated transformation procedure using Unfold/Fold strategy with homeomorhic embedding as a control heuristic." . . "Optimization of prolog programs by fully automated transformation procedure"@en . . "11320" . . "2008-01-01+01:00"^^ . . . "IFIP Software Engineering Techniques in Progres (CEE-SET)" . "Optimalizace prologovsk\u00FDch program\u016F pln\u011B automatickou transforma\u010Dn\u00ED procedurou za pou\u017Eit\u00ED strategie rozvinut\u00ED a svinut\u00ED (Unfold/Fold) s homeomorfn\u00EDm vno\u0159en\u00EDm jako \u0159\u00EDd\u00EDc\u00ED heuristikou."@cs . "Optimization of prolog programs by fully automated transformation procedure" . . . "Optimization; prolog; programs; fully; automated; transformation; procedure"@en . "Optimization of prolog programs by fully automated transformation procedure" . "2"^^ . . . "2"^^ . . "RIV/00216208:11320/08:00100444" . "978-83-7493-421-3" . . "16"^^ . . . . "Vysko\u010Dil, Ji\u0159\u00ED" . "Oficyna Wydawnicza Politechniki Wroc\u0142awskiej" . . . "RIV/00216208:11320/08:00100444!RIV09-MSM-11320___" . . "Optimalizace prologovsk\u00FDch program\u016F pln\u011B automatickou transforma\u010Dn\u00ED procedurou"@cs . . "[DE4C5B476048]" . "\u0160t\u011Bp\u00E1nek, Petr" .