पुस्तकें — formal systems

RU
प्रोग्रामिंग: कॉम्बिनेटोरियल लॉजिक

प्रोग्रामिंग: कॉम्बिनेटोरियल लॉजिक

A

И. А. Кудрявцева, М. В. Швецкий

प्रोग्रामिंग भाषाएँ
RU
गणितीय तर्क और एल्गोरिदम सिद्धांत: एक पाठ्य सहायक

गणितीय तर्क और एल्गोरिदम सिद्धांत: एक पाठ्य सहायक

A

Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн

एल्गोरिदम और सिद्धांत