W zależności od ilości danych do przetworzenia generowanie pliku może się wydłużyć.

Jeśli generowanie trwa zbyt długo można ograniczyć dane np. zmniejszając zakres lat.

Raport

Tytuł dzieła

Recenzja rozprawy doktorskiej Iwo Błądka zatytułowanej: Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis

Autorzy

Identyfikator dzieła

r2905_2022

Data

04.04.2022

Język

polski

Liczba stron lub objętość dzieła

4

Typ dzieła

recenzja

Ta strona używa plików Cookies, w celu zapamiętania uwierzytelnionej sesji użytkownika. Aby dowiedzieć się więcej przeczytaj o plikach Cookies i Polityce Prywatności.