Przetwarzanie może potrwać kilka sekund...

Rozdział

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)

[2.3] Informatyka techniczna i telekomunikacja

Rok publikacji

2018

Typ rozdziału

rozdział w monografii naukowej / referat

Język publikacji

angielski

Strony (od-do)

5304 - 5308

Książka

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18)

Zaprezentowany na

International Joint Conferences on Artifical Intelligence (IJCAI), 13-19.07.2018, Stockholm, Sweden

Punktacja MNiSW / rozdział

5

Punktacja MNiSW / konferencja (CORE)

200