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

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

गणित
discrete mathematics formal logic systems boolean functions Prolog finite automata temporal logic axiomatic programming
लेखक
С. М. Авдошин, А. А. Набебин
प्रकाशक
ДМК Пресс
वर्ष
2018
भाषा
रूसी
42
इस पुस्तक को रेट करें

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