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
С. М. Авдошин, А. А. Набебин
Editorial
ДМК Пресс
Año
2018
Idioma
Ruso
40
Calificar este libro

Para leer el libro, iniciar sesión / registrarse