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
С. М. Авдошин, А. А. Набебин
Editora
ДМК Пресс
Ano
2018
Idioma
Russo
38
Avaliar este livro

Para ler o livro, entrar / registrar