Logic and Computational Complexity

EISBN:9783540447207
PISBN:9783540601784
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1995
版次:1995
作者:Daniel Leivant
主题词:Computer Science,Mathematics of Computing,Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations
语种:英语
相关推荐

Logic and Computational Complexity

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

Logic and Complexity

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

Logic and Complexity

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

Computational Complexity

  • 作者:Robert A. Meyers
  • EISBN:9781461418009
  • 出版社:Springer New York
  • 出版时间:2012

Computability, Complexity, Logic

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

Computational Logic

  • 作者:John W. Lloyd
  • EISBN:9783642762741
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990