Computer science logic /

類似資料

• Logic In Computer Science /
  著者:: Huth, Michael .
  出版事項: (2004)
• Logics for computer science
  著者:: Singh, Arindama
  出版事項: (2004)
• Logic for computer science : foundations of automatic theorem proving /
  著者:: Gallier, Jean H.
  出版事項: (1986)
• Logic in computer science Modelling and reasoning about systems /
  著者:: Huth, Michael
  出版事項: (2004)
• Handbook of logic and proof techniques for computer science
  著者:: karntz, Steven G
  出版事項: (2002)