Algorithms for Constructing Computably Enumerable Sets

EISBN:9783031269042
PISBN:9783031269035
出版社:Springer Nature
出版时间:2023
作者:Kenneth J. Supowit
主题词:Enumerable sets,Computability Theory,Computable Enumerability,Recursion Theory,Turing Reduction,Diagonalization,Finite Injury,Infinite Injury,Priority Tree,Permitting Argument,Sacks Density Theorem
学科:Computer Science
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Kernel Based Algorithms for Mining Huge Data Sets

  • 作者:Te-Ming Huang,Vojislav Kecman,Ivica Kopriva
  • EISBN:9783540316893
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Constructing Reality

  • 作者:Piero Mella
  • EISBN:9783030441326
  • 出版社:Springer International Publishing
  • 出版时间:2020

Constructing Suburbs

  • 作者:Forsyth,Ann;
  • EISBN:9781135300111
  • 出版社:Taylor and Francis
  • 出版时间:2005-09-29

Constructing Ambient Intelligence

  • 作者:Reiner Wichert,Kristof Laerhoven,Jean Gelissen
  • EISBN:9783642314797
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Constructing the Edifice of Mechanics

  • 作者:M.A. Curt Koenders
  • EISBN:9783031340710
  • 出版社:Springer Nature
  • 出版时间:2023

Constructing Correct Software

  • 作者:D. John Cooke
  • EISBN:9781447139850
  • 出版社:Springer London
  • 出版时间:1998