Weller Daniel

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

1. Deskolemization, equality and logical complexity
   Daniel Weller
   Международная конференция «Logical Models of Reasoning and Computation»
   3 февраля 2012 г. 10:45