Logic For Computer Science: Foundations Of Automatic Theorem Proving

Benzer Materyaller

• Logic for computer science : Foundations of Automatic Theorem proving/
  Yazar:: Gallier, Jean H.
  Baskı/Yayın Bilgisi: (1987)
• Logic for computer science: foundations of automatic theorem proving
  Yazar:: Gallier, Jean H; Author
  Baskı/Yayın Bilgisi: (1987)
• Logic for computer science : foundations of automatic theorem proving /
  Yazar:: Gallier, Jean H.
  Baskı/Yayın Bilgisi: (1986)
• Logic for computer science : foundations of automatic theorem proving /
  Yazar:: Gallier, Jean H.
  Baskı/Yayın Bilgisi: (2015)
• Symbolic logic and mechanical theorem proving /
  Yazar:: Chang, Chin-lidng
  Baskı/Yayın Bilgisi: (1973)