Hetzl Stefan

Доклады и лекции в базе данных Math-Net.Ru

1. Logical analysis of automated inductive theorem proving
   S. Hetzl
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   8 ноября 2022 г. 15:00