Journals
Books
Articles by keyword the formalized description of a premise
A. S. Sizov, S. Yu. Sazonov, S. A. Kuzheleva, V. V. Teplovа