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

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

Logic, Language, and Computation

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

Computation Theory and Logic

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

Logic, Language, and Computation

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