SIN PP | Recenzja rozprawy doktorskiej mgr inż. Iwo Błądka pt.: „ Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis”

System Informacji Naukowej Politechniki Poznańskiej

PL EN

Strona główna / Raporty / Recenzja rozprawy doktorskiej mgr inż. Iwo Błądka pt.: „ Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis”

Zgłoś uwagę

Raport

Tytuł dzieła

Recenzja rozprawy doktorskiej mgr inż. Iwo Błądka pt.: „ Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis”

Autorzy

Robert Schaefer

Identyfikator dzieła

r2821_2022

Data

17.03.2022

Język

polski

Liczba stron lub objętość dzieła

Typ dzieła

recenzja

System tworzony przez Politechnikę Poznańską oraz Poznańskie Centrum Superkomputerowo-Sieciowe

Zaloguj się przez eKonto, aby dodać do SIN