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)