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
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS