Matemática Discreta. Sistemas e Linguagens Formais-Lógicos
A

Matemática Discreta. Sistemas e Linguagens Formais-Lógicos

Matemática
discrete mathematics formal logic systems boolean functions Prolog finite automata temporal logic axiomatic programming
Autor
S. M. Avdoshin, A. A. Nabebin
Editora
DMK Press
Ano
2018
Idioma
Russo
139
Avaliar este livro

Para ler o livro, entrar / registrar