Logic for computer science : foundations of automatic theorem proving /

類似資料

• Logic for computer science: foundations of automatic theorem proving
  著者:: Gallier, Jean H; Author
  出版事項: (1987)
• Symbolic, logic and mechanical theorem proving
  著者:: Chang, Chin-Liang
  出版事項: (1973)
• Mathematical logic for computer science /
  出版事項: (2008)
• Mathematical logic : foundations for information science /
  著者:: Li, Wei
  出版事項: (2010)
• A textbook of logic
  著者:: Krishna Jain; Author
  出版事項: (2009)