Infinity in Logic and Computation

EISBN:9783642030925
PISBN:9783642030918
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2009
作者:Margaret Archibald,Vasco Brattka,Valentin Goranko,Benedikt Löwe
主题词:Artificial Intelligence (incl. Robotics),Theory of Computation,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Mathematics of Computing,Computing Methodologies
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logic of Computation

  • 作者:Helmut Schwichtenberg
  • EISBN:9783642590481
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Logic of Computation

  • 作者:Helmut Schwichtenberg
  • EISBN:9783642590481
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Logic, Language and Computation

  • 作者:Seiki Akama
  • EISBN:9789401156387
  • 出版社:Springer Netherlands
  • 出版时间:1997

Computation Theory and Logic

  • 作者:Egon Börger
  • EISBN:9783540477952
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Fields of Logic and Computation

  • 作者:Andreas Blass,Nachum Dershowitz,Wolfgang Reisig
  • EISBN:9783642150258
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2010

Logic, Language, and Computation

  • 作者:Nick Bezhanishvili,Sebastian Löbner,Kerstin Schwabe,Luca Spada
  • EISBN:9783642223037
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011