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

Computing in Horn Clause Theories
EISBN：9783642738241
PISBN：9783540194279
出版社：Springer Berlin Heidelberg
出版类型：Undergraduate textbook
出版时间：1988
版次：1988
作者：Peter Padawitz
主题词：Computer Science,Programming Techniques,Software Engineering,Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages,Computation by Abstract Devices,Logics and Meanings of Programs
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Monographs in Theoretical Computer Science. An EATCS Series
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Computing in Horn Clause Theories
  • 作者：Peter Padawitz
  • EISBN：9783642738241
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1988
...

Intelligent Computing Theories
  • 作者：De-Shuang Huang,Vitoantonio Bevilacqua,Juan Carlos Figueroa,Prashan Premaratne
  • EISBN：9783642394799
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2013
...

Advanced Intelligent Computing Theories and Applications
  • 作者：De-Shuang Huang,Martin McGinnity,Laurent Heutte,Xiao-Ping Zhang
  • EISBN：9783642148316
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2010
...

Intelligent Computing Theories and Application
  • 作者：De-Shuang Huang;Kang-Hyun Jo;Junfeng Jing;Prashan Premaratne;Vitoantonio Bevilacqua;Abir Hussain
  • EISBN：9783031138294
  • 出版社：Springer Nature
  • 出版时间：2022
...

Soft Computing: Theories and Applications
  • 作者：Rajesh Kumar;Chang Wook Ahn;Tarun K. Sharma;Om Prakash Verma;Anand Agarwal
  • EISBN：9789811907074
  • 出版社：Springer Nature
  • 出版时间：2022
...

Intelligent Computing Theories and Application
  • 作者：De-Shuang Huang,Vitoantonio Bevilacqua,Abir Hussain
  • EISBN：9783030607999
  • 出版社：Springer International Publishing
  • 出版时间：2020