| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
International workshop "Syntax and semantics of logical systems"
|
|||
|
|
|||
|
Алгебры унарных операций и конечные алгебры Краснера мультиопераций N. A. Peryazev Saint Petersburg Electrotechnical University "LETI" |
|||