Skip to main content
Side panel
uiite
English (en)
Русский (ru)
Українська (uk)
English (en)
You are not logged in. (
Log in
)
Математична логіка і теорія алгоритмів. Частина 1. Алгоритмічні машини, рекурсивні функції, автоматичне доведення теорем
Home
Course info
Home
Courses
Інститут прикладного системного аналізу
Математична логіка і теорія алгоритмів. Частина 1. Алгоритмічні машини, рекурсивні функції, автоматичне доведення теорем
Summary
Математична логіка і теорія алгоритмів. Частина 1. Алгоритмічні машини, рекурсивні функції, автоматичне доведення теорем