Handbook of logic and proof techniques for computer science

類似資料

• Handbook of logic and proof techniques for computer science /
  著者:: Krantz, Steven G.
  出版事項: (2002)
• Computer aided proofs in analysis
  出版事項: (1990)
• Logic and proof techniques/
  著者:: Eberle, Rolf
  出版事項: (1996)
• Logic In Computer Science /
  著者:: Huth, Michael .
  出版事項: (2004)
• Computer science logic /
  出版事項: (2003)