登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情

SYMBOLIC LOGIC AND INTELLIGENT MACHINES
出版社：REINHOLD PUBLISHING CORPORATION
作者：EDMUND C.BERKELEY
语种：英语
所属数据库：中国科学院生物物理所电子图书
1浏览量
 馆际互借
 查看订购单位
相关推荐
...

Symbolic Logic and Mechanical Theorem Proving
  • 作者：Chang,Chin-Liang
  • PISBN：9780080917283
  • 出版时间：Legacy
...

Intelligent Educational Machines
  • 作者：Nadia Nedjah,Luiza de Macedo Mourelle,Mario Neto Borges,Nival Nunes de Almeida
  • EISBN：9783540449218
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2007
...

Logic and Machines: Decision Problems and Complexity
  • 作者：E. Börger,G. Hasenjaeger,D. Rödding
  • EISBN：9783540388562
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1984
...

Introduction to Languages, Machines and Logic
  • 作者：Alan P. Parkes
  • EISBN：9781447101437
  • 出版社：Springer London
  • 出版时间：2002
...

Introduction to Languages, Machines and Logic
  • 作者：Alan P. Parkes
  • EISBN：9781447101437
  • 出版社：Springer London
  • 出版时间：2002
...

Logic and Machines: Decision Problems and Complexity
  • 作者：E. Börger,G. Hasenjaeger,D. Rödding
  • EISBN：9783540388562
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1984