Dershowitz Nachum

Presentations in Math-Net.Ru

1. Canonical inference
   Nachum Dershowitz
   International workshop "Logical Models of Reasoning and Computation"
   February 3, 2012 12:00