Automated theorem proving : a logical basis /

Similar Items

• Symbolic logic and mechanical theorem proving /
  by: 336504 Chang, Chin-Ling, et al.
  Published: (1973)
• Logic for computer science : foundations of automatic theorem proving /
  by: 455116 Gallier, Jean H.
  Published: (1986)
• Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
  by: 183708 Bertot, Yves, et al.
  Published: (2004)
• A computational logic /
  by: 403382 Boyer, Robert S., et al.
  Published: (1979)
• Theorem proving with analytic tableaux and related methods /
  by: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), et al.
  Published: (1995)