Symbolic logic and mechanical theorem proving /

Podobné jednotky

• Symbolic, logic and mechanical theorem proving
  Autor: Chang, Chin-Liang
  Vydáno: (1973)
• Mechanical geometry theorem proving
  Autor: Chou, Shang-Ching
  Vydáno: (1988)
• First Order Logic And Automated Theorem Proving
  Autor: Gries, David
  Vydáno: (1996)
• Logic for computer science: foundations of automatic theorem proving
  Autor: Gallier, Jean H; Author
  Vydáno: (1987)
• Logic For Computer Science: Foundations Of Automatic Theorem Proving
  Autor: Gallier, Jean H
  Vydáno: (1987)