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

A 25-Year Perspective on Logic Programming
EISBN：9783642143090
PISBN：9783642143083
出版社：Springer Berlin Heidelberg
出版类型：Contributed volume
出版时间：2010
作者：Agostino Dovier,Enrico Pontelli
主题词：Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Programming Techniques,Mathematics of Computing,Theory of Computation,Artificial Intelligence (incl. Robotics)
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Atlas: A 25-year Insider Story Of The Lhc Experiment
  • EISBN：9789813271807
  • 出版社：World Scientific Publishing Company
  • 出版时间：2019-05-21
...

Design Requirements Engineering: A Ten-Year Perspective
  • 作者：Kalle Lyytinen,Pericles Loucopoulos,John Mylopoulos,Bill Robinson
  • EISBN：9783540929666
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009
...

Challenging Programming in Python: A Problem Solving Perspective
  • 作者：Habib Izadkhah,Rashid Behzadidoost
  • EISBN：9783031399992
  • 出版社：Springer Nature
  • 出版时间：2024
...

Scala: From a Functional Programming Perspective
  • 作者：Vicenç Torra
  • EISBN：9783319464817
  • 出版社：Springer International Publishing
  • 出版时间：2016
...

Logic Year 1979–80
  • 作者：Manuel Lerman,James H. Schmerl,Robert I. Soare
  • EISBN：9783540386735
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1981
...

Logic and Programming
  • 作者：Michel. Parent
  • EISBN：9781461598589
  • 出版社：Springer US
  • 出版时间：1984