登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Computation as logic
出版社：Paris : Masson ; Hemel, Hempstead : Prentice Hall, c1993.
ISBN：0137700091
出版年：1993
作者：Lalement,Ren鈋.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computation as logic
  • 作者：Lalement,Ren鈋.
  • ISBN：0137700091 220.74
  • 出版社：Paris : Masson ; Hemel, Hempstead : Prentice Hall, c1993.
  • 出版年：1993
...

Computation theory and logic
  • 作者：Börger,E.
  • ISBN：87020637 36
  • 出版社：Berlin ; New York : Springer-Verlag, c1987.
  • 出版年：1987
...

Mathematical logic and computation
  • 作者：Avigad,Jeremy,
  • ISBN：9781108478755
  • 出版社：Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2023.
  • 出版年：2023
...

Computation theory and logic
  • 作者：Börger,E.
  • ISBN：87020637
  • 出版社：Berlin ; New York : Springer-Verlag, c1987.
  • 出版年：1987
...

Molecular logic-based computation
  • 作者：de Silva,A. Prasanna.
  • ISBN：9781849731485
  • 出版社：Cambridge : Royal Society of Chemistry : 2013.
  • 出版年：2013
...

The Dynamics of judicial proof : computation, logic, and common sense
  • 作者：MacCrimmon,M. T.
  • ISBN：3790814598
  • 出版社：Heidelberg ; New York : Physica-Verlag, c2002.
  • 出版年：2002