Logics for computer science

相似書籍

• Logic and algorithms: with applications to the computer and information sciences
  由: Korfhage, Robert R
  出版: (1966)
• Programmable Logic Controllers
  由: Webb, John W
  出版: (2006)
• Logic in computer science: modelling and reasoning about systems/
  由: Huth, Michael
  出版: (2005)
• Logic for computer science and artificial intelligence
  由: Caferra, Ricardo
  出版: (2011)
• Computer logic : design principles and applications /
  由: Hsu, John Y.
  出版: (2011)