Logic for computer science : foundations of automatic theorem proving /

相似书籍

• Logic for computer science: foundations of automatic theorem proving
  由: Gallier, Jean H; Author
  出版: (1987)
• Logic for computer science : foundations of automatic theorem proving /
  由: Gallier, Jean H.
  出版: (2015)
• Logic for computer science : Foundations of Automatic Theorem proving/
  由: Gallier, Jean H.
  出版: (1987)
• Logic For Computer Science: Foundations Of Automatic Theorem Proving
  由: Gallier, Jean H
  出版: (1987)
• Logic In Computer Science /
  由: Huth, Michael .
  出版: (2004)