Vladimir V. Rybakov

Vladimir V. Rybakov

Professor of Mathematical Logic, Institute of Mathematics and Computer Science, Siberian …
在 sfu-kras.ru 的电子邮件经过验证
被引用次数：3172
mathematical logic algebra computer science inference rules temporal logic