Vladimir V. Rybakov

Vladimir V. Rybakov

Professor of Mathematical Logic, Institute of Mathematics and Computer Science, Siberian …
Email được xác minh tại sfu-kras.ru
Trích dẫn 3208 bài viết
mathematical logic algebra computer science inference rules temporal logic