离散数学。形式逻辑系统与语言
A

离散数学。形式逻辑系统与语言

数学
discrete mathematics formal logic systems boolean functions Prolog finite automata temporal logic axiomatic programming
作者
S. M. Avdoshin, A. A. Nabebin
出版社
DMK Press
年份
2018
语言
俄语
145
评价本书

阅读本书 登录 / 注册