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
S. M. Avdoshin, A. A. Nabebin
Publisher
DMK Press
Year
2018
Language
Russian
130
Rate this book

To read the book, log in / register