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
S. M. Avdochine, A. A. Nabébine
Éditeur
DMK Press
Année
2018
Langue
Russe
136
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire