Vol-3640⫷ Vol-3641 ⫸Vol-3642
urn:nbn:de:0074-3641-0


Vol-3641/paper11⫷Vol-3641/paper12⫸Vol-3641/paper13
Oleksandr DeinehaVolodymyr DonetsGrygoriy Zholtkevych

Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps