Dershowitz Nachum

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

1. Canonical inference
   Nachum Dershowitz
   Международная конференция «Logical Models of Reasoning and Computation»
   3 февраля 2012 г. 12:00