The Handbook of Logic in Computer Science

Samankaltaisia teoksia

• Handbook of logic and proof techniques for computer science /
  Tekijä: 181645 Krantz, Steven G. (Steven George), 1951-
  Julkaistu: (2002)
• Computer science handbook /
  Tekijä: Halt, Tom editor
  Julkaistu: (2015)
• Logic for computer science /
  Tekijä: 318694 Reeves, Steve, et al.
  Julkaistu: (1990)
• Handbook of theoretical computer science /
  Tekijä: Leeiwen, J. van
  Julkaistu: (1990)
• Mathematical logic for computer science /
  Tekijä: 391862 Zhongwan, Lu
  Julkaistu: (1998)