Matemática Discreta. Sistemas y Lenguajes Lógico-Formales
A

Matemática Discreta. Sistemas y Lenguajes Lógico-Formales

Matemáticas
discrete mathematics formal logic systems boolean functions Prolog finite automata temporal logic axiomatic programming
Autor
S. M. Avdoshin, A. A. Nabebin
Editorial
DMK Press
Año
2018
Idioma
Ruso
138
Calificar este libro

Para leer el libro, iniciar sesión / registrarse