Logic, Language, Information and Computation

EISBN:9783642022616
PISBN:9783642022609
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2009
作者:Hiroakira Ono,Makoto Kanazawa,Ruy Queiroz
主题词:Artificial Intelligence (incl. Robotics),Theory of Computation,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Mathematics of Computing,Discrete Mathematics in Computer Science
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logic, Language, Information and Computation

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

Logic, Language, Information and Computation

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

Logic, Language, Information, and Computation

  • 作者:George Metcalfe,Thomas Studer,Ruy de Queiroz
  • EISBN:9783031626876
  • 出版社:Springer Nature
  • 出版时间:2024

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

Logic, Language, Information, and Computation

  • 作者:Rosalie Iemhoff,Michael Moortgat,Ruy de Queiroz
  • EISBN:9783662595336
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2019