Ciabattoni Agata

Presentations in Math-Net.Ru

1. Nonclassical Proofs: theory, applications, and tools
   Agata Ciabattoni
   International workshop "Logical Models of Reasoning and Computation"
   February 3, 2012 10:00