Processing may take a few seconds...

Report

Works title

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

Authors

Work ID

r2821_2022

Date

17.03.2022

Language

polish

Number of pages or volume of work

8

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.