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

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

数学
discrete mathematics formal logic systems boolean functions Prolog finite automata temporal logic axiomatic programming
作者
С. М. Авдошин, А. А. Набебин
出版社
ДМК Пресс
年份
2018
语言
俄语
43
评价本书

阅读本书 登录 / 注册