| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Международная конференция «Logical Models of Reasoning and Computation»
|
|||
|
|
|||
|
Nonclassical Proofs: theory, applications, and tools Agata Ciabattoni Vienna University of Technology |
|||
|
Аннотация: I will describe a recently funded research project aiming to systematize proof theory for non-classical logics. Язык доклада: английский |
|||