Logic, Language, Information and Computation

EISBN:9783642326219
PISBN:9783642326202
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2012
作者:Luke Ong,Ruy Queiroz
主题词:Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Discrete Mathematics in Computer Science,Logics and Meanings of Programs,Computation by Abstract Devices,Symbolic and Algebraic Manipulation
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logic, Language, Information and Computation

  • 作者:Daniel Leivant,Ruy Queiroz
  • EISBN:9783540734451
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Logic, Language, Information and Computation

  • 作者:Wilfrid Hodges,Ruy Queiroz
  • EISBN:9783540699378
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Logic, Language, Information and Computation

  • 作者:Hiroakira Ono,Makoto Kanazawa,Ruy Queiroz
  • EISBN:9783642022616
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Logic, Language, Information, and Computation

  • 作者:Jouko Väänänen,Åsa Hirvonen,Ruy de Queiroz
  • EISBN:9783662529218
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2016

Logic, Language, Information, and Computation

  • 作者:Helle Hvid Hansen,Andre Scedrov,Ruy J.G.B. de Queiroz
  • EISBN:9783031397844
  • 出版社:Springer Nature
  • 出版时间:2023

Logic, Language, Information, and Computation

  • 作者:Agata Ciabattoni;Elaine Pimentel;Ruy J. G. B. de Queiroz
  • EISBN:9783031152986
  • 出版社:Springer Nature
  • 出版时间:2022