Ciabattoni Agata

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

1. Nonclassical Proofs: theory, applications, and tools
   Agata Ciabattoni
   Международная конференция «Logical Models of Reasoning and Computation»
   3 февраля 2012 г. 10:00