Mathématiques discrètes. Systèmes et langages formels-logiques
A

Mathématiques discrètes. Systèmes et langages formels-logiques

Mathématiques
discrete mathematics formal logic systems boolean functions Prolog finite automata temporal logic axiomatic programming
Auteur
С. М. Авдошин, А. А. Набебин
Éditeur
ДМК Пресс
Année
2018
Langue
Russe
35
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire