Journals
Books
Articles by keyword формальная система
Formation of generalized design methodologies based on process model
A.F. Pokhilko - Ph.D. (Eng.), Associate Professor, Ulyanovsk State Technical University. E-mail: afp@ulstu.ru
Review and comparative analysis of methods of constructing terms in combinatory logic

R.V. Dushkin1

1 National Research Nuclear University MEPhI (Moscow, Russia)

1 rvdushkin@mephi.ru