Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs

PL EN

Strona główna / Publikacje / Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs

Zgłoś uwagę

Rozdział

Pobierz BibTeX

Tytuł

Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs

Autorzy

^{[ 1 ]} Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | ^{[ P ]} pracownik

Dyscyplina naukowa (Ustawa 2.0)

Rok publikacji

2018

Typ rozdziału

rozdział w monografii naukowej / referat

Język publikacji

angielski

Strony (od-do)

5304 - 5308

Książka

Zaprezentowany na

Punktacja Ministerstwa / rozdział

5

Punktacja Ministerstwa / konferencja (CORE)

200

Zaloguj się przez eKonto, aby dodać do SIN