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