Processing may take a few seconds...

Report

Works title

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

Authors

Work ID

r2905_2022

Date

04.04.2022

Language

polish

Number of pages or volume of work

4

Type of work

review

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.