Author Details
Makhortov, S D
Issue | Section | Title | File |
No 2.2 (2010) | Articles | Multi-level LP-Structures in Rewriting Systems |
(Eng) |
No 2 (2014) | Articles | The Algorithms of the Mulri-Threaded Relevant LP-inference |
(Eng) |