Logic, Automata, and Algorithms

PISBN:9780120463503
出版时间:Pre 2007
作者:Mark A. Aiserman,Leonid A. Gusev,Lev I. Rozonoer,Irina M. Smirnova,Aleksey A. Tal'
主题词:Mathematics pre-2007
语种:英语
所属数据库:Elsevier电子图书
相关推荐

Logic Synthesis for Control Automata

  • 作者:Samary Baranov
  • EISBN:9781461526926
  • 出版社:Springer US
  • 出版时间:1994

Logic Synthesis for Control Automata

  • 作者:Samary Baranov
  • EISBN:9781461526926
  • 出版社:Springer US
  • 出版时间:1994

Logic and Theory of Algorithms

  • 作者:Arnold Beckmann,Costas Dimitracopoulos,Benedikt Löwe
  • EISBN:9783540694076
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Finite Automata, Formal Logic, and Circuit Complexity

  • 作者:Howard Straubing
  • EISBN:9781461202899
  • 出版社:Birkhäuser Boston
  • 出版时间:1994

Logic Synthesis and Verification Algorithms

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

Logic Synthesis and Verification Algorithms

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