Computable Models

EISBN:9781848820524
PISBN:9781848820517
出版社:Springer London
出版类型:Graduate/advanced undergraduate
出版时间:2009
作者:Raymond Turner
主题词:Theory of Computation,Computation by Abstract Devices,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Language Translation and Linguistics
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Computable Models of the Law

  • 作者:Pompeu Casanovas,Giovanni Sartor,Núria Casellas,Rossella Rubino
  • EISBN:9783540855699
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Computable Analysis

  • 作者:Klaus Weihrauch
  • EISBN:9783642569999
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Computable Analysis

  • 作者:Klaus Weihrauch
  • EISBN:9783642569999
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Computable Structures and the Hyperarithmetical Hierarchy

  • 作者:C.J. Ash,J. Knight
  • PISBN:9780444500724
  • 出版时间:Pre 2007

Behavioural Models

  • 作者:Matthias Kunze,Mathias Weske
  • EISBN:9783319449609
  • 出版社:Springer International Publishing
  • 出版时间:2016

Deformable Models

  • 作者:Aly A. Farag,Jasjit S. Suri
  • EISBN:9780387684130
  • 出版社:Springer New York
  • 出版时间:2007