检索条件: 姜云飞 ( 著者 )
责任者 刘叙华,虞恩蔚,姜云飞
出版信息 中央广播电视大学出版社 ,1993
ISBN 7-304-00758-3
扫二维码,手机查看
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
离散数学
刘叙华,虞恩蔚,姜云飞.中央广播电视大学出版社,1993.
责任者 刘叙华,姜云飞编著
出版信息 科学出版社 ,1987
ISBN
定理机器证明
刘叙华,姜云飞编著.科学出版社,1987.
责任者 加拉卜,诺,特拉韦尔索
出版信息 清华大学出版社 ,2008
ISBN 978-7-302-16383-1
自动规划:理论和实践
加拉卜,诺,特拉韦尔索.清华大学出版社,2008.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您