Logic in computer science: modelling and reasoning about systems/

相似書籍

• Logic in computer science Modelling and reasoning about systems /
  由: Huth, Michael
  出版: (2004)
• Logic in computer science: Modelling and reasoning about systems
  由: Huth, Michael
  出版: (2005)
• Logics for computer science
  由: Singh, Arindama
  出版: (2004)
• Logic In Computer Science /
  由: Huth, Michael .
  出版: (2004)
• Logic and algorithms: with applications to the computer and information sciences
  由: Korfhage, Robert R
  出版: (1966)