计算理论与符号逻辑

计算理论与符号逻辑

PISBN：9787030324108

出版类型：教育-大学

出版时间：2011-10-01

版次：1

作者：张兴元，王元元，宋丽华编著

学科：数学

语种：中文

所属数据库：科学文库

问图书管理员

查看订购单位

点赞

收藏

符号逻辑：语法、语义和证明

作者：（美）安格勒（Agler，D.W.）,陈素艳,张秀蕊
PISBN：9787030480392
出版时间：2016-04-01

符号计算系统Mathematica教程

作者：张韵华编著
PISBN：7030085418
出版时间：2001-11-01

符号计算选讲

作者：孙瑶,李婷,王定康著
PISBN：9787030583666
出版时间：2018-09-01

数学符号史

作者：徐品方，张红著
PISBN：7030170172
出版时间：2006-09-01

非线性演化系统的符号计算方法

作者：李帮庆，马玉兰著
PISBN：9787030388476
出版时间：2013-10-01

新闻文化与符号

作者：刘智著
PISBN：7030071085
出版时间：1999-04-01