Methods of choosing universal logic modu
✍
V. A. Bespalov; A. L. Glebov; N. A. Kononov; D. Yu. Nemchin
📂
Article
📅
2011
🏛
Springer
🌐
English
⚖ 438 KB