Discrete Mathematics. Formal Logical Systems and Languages
A

Discrete Mathematics. Formal Logical Systems and Languages

Mathematics
discrete mathematics formal logic systems boolean functions Prolog finite automata temporal logic axiomatic programming
Author
С. М. Авдошин, А. А. Набебин
Publisher
ДМК Пресс
Year
2018
Language
Russian
39
Rate this book

To read the book, log in / register