Lectures on Logic and Computation

EISBN:9783642314858
PISBN:9783642314841
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2012
作者:Nick Bezhanishvili,Valentin Goranko
主题词:Logics and Meanings of Programs,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Discrete Mathematics in Computer Science,Artificial Intelligence (incl. Robotics)
语种:英语
所属数据库: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

  • 作者:Martin Aher,Daniel Hole,Emil Jeřábek,Clemens Kupke
  • EISBN:9783662469064
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2015

Logic, Language and Computation

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

Logic, Language, and Computation

  • 作者:Guram Bezhanishvili,Sebastian Löbner,Vincenzo Marra,Frank Richter
  • EISBN:9783642369766
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Language, Logic, and Computation

  • 作者:Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach
  • EISBN:9783662595657
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2019