Logic and Theory of Algorithms

EISBN:9783540694076
PISBN:9783540694052
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2008
作者:Arnold Beckmann,Costas Dimitracopoulos,Benedikt Löwe
主题词:Theory of Computation,Algorithm Analysis and Problem Complexity,Mathematics of Computing,Computing Methodologies,Computational Biology/Bioinformatics,Algorithms
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

  • 作者:Igor Lavrov,Larisa Maksimova,G. Corsi
  • EISBN:9781461501855
  • 出版社:Springer US
  • 出版时间:2003

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

  • 作者:Igor Lavrov,Larisa Maksimova
  • EISBN:9781461501855
  • 出版社:Springer US
  • 出版时间:2003

Logic, Automata, and Algorithms

  • 作者:Mark A. Aiserman,Leonid A. Gusev,Lev I. Rozonoer,Irina M. Smirnova,Aleksey A. Tal'
  • PISBN:9780120463503
  • 出版时间:Pre 2007

Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications

  • 作者:Oscar Castillo,Patricia Melin,Janusz Kacprzyk
  • EISBN:9783030354459
  • 出版社:Springer International Publishing
  • 出版时间:2020

Logic Minimization Algorithms for VLSI Synthesis

  • 作者:Robert K. Brayton,Gary D. Hachtel,C. McMullen,Alberto L. Sangiovanni-Vincentelli
  • EISBN:9781461328216
  • 出版社:Springer US
  • 出版时间:1984

Logic Synthesis and Verification Algorithms

  • 作者:Gary D. Hachtel,Fabio Somenzi
  • EISBN:9780387310053
  • 出版社:Springer US
  • 出版时间:1996