डिस्क्रीट गणित। औपचारिक तार्किक प्रणालियाँ और भाषाएँ
A

डिस्क्रीट गणित। औपचारिक तार्किक प्रणालियाँ और भाषाएँ

गणित
discrete mathematics formal logic systems boolean functions Prolog finite automata temporal logic axiomatic programming
लेखक
एस. एम. अवदोशिन, ए. ए. नाबेबिन
प्रकाशक
DMK प्रेस
वर्ष
2018
भाषा
रूसी
147
इस पुस्तक को रेट करें

पुस्तक पढ़ने के लिए, लॉग इन करें / पंजीकरण करें