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

Probability Models

  • 作者:John Haigh
  • EISBN:9781447101697
  • 出版社:Springer London
  • 出版时间:2002

Differential Models

  • 作者:Alexander Pavlovich Solodov,Valery Fedorovich Ochkov
  • EISBN:9783540268208
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005