Logics for computer science

Những quyển sách tương tự

• Logic and algorithms: with applications to the computer and information sciences
  Bằng: Korfhage, Robert R
  Được phát hành: (1966)
• Programmable Logic Controllers
  Bằng: Webb, John W
  Được phát hành: (2006)
• Logic in computer science: modelling and reasoning about systems/
  Bằng: Huth, Michael
  Được phát hành: (2005)
• Logic for computer science and artificial intelligence
  Bằng: Caferra, Ricardo
  Được phát hành: (2011)
• Computer logic : design principles and applications /
  Bằng: Hsu, John Y.
  Được phát hành: (2011)