Logic and Complexity

EISBN:9780857293923
PISBN:9781447110521
出版社:Springer London
出版类型:Monograph
出版时间:2004
作者:Richard Lassaigne,Michel Rougemont
主题词:Discrete Mathematics in Computer Science,Probability Theory and Stochastic Processes,Calculus of Variations and Optimal Control,Optimization,Logics and Meanings of Programs
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logic and Complexity

  • 作者:Richard Lassaigne,Michel de Rougemont
  • EISBN:9780857293923
  • 出版社:Springer London
  • 出版时间:2004

Computability, Complexity, Logic

  • 作者:E. Borger
  • PISBN:9780444874061
  • 出版时间:Pre 2007

Logic and Computational Complexity

  • 作者:Daniel Leivant
  • EISBN:9783540447207
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

Logic and Computational Complexity

  • 作者:Daniel Leivant
  • EISBN:9783540447207
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

Logic and Machines: Decision Problems and Complexity

  • 作者:E. Börger,G. Hasenjaeger,D. Rödding
  • EISBN:9783540388562
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1984

Logic and Machines: Decision Problems and Complexity

  • 作者:E. Börger,G. Hasenjaeger,D. Rödding
  • EISBN:9783540388562
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1984