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

Models and Theories

  • 作者:Frigg,Roman;
  • EISBN:9781000609554
  • 出版社:Taylor and Francis
  • 出版时间:2022-06-28

Linear Models

  • 作者:Calyampudi Radhakrishna Rao,Helge Toutenburg
  • EISBN:9781489900241
  • 出版社:Springer New York
  • 出版时间:1995