Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /

Podobné jednotky

• Automated theorem proving : a logical basis /
  Autor: Loveland, Donald W.
  Vydáno: (1978)
• International conference on software engineering : ICSE'12, proceedings of the 34th IEEE/ACM international conference, Zurich, Switzerland, June 2-9, 2012 /
  Vydáno: (2012)
• Using sophisticated models in resolutin theorem proving /
  Autor: Sandford, David M.
  Vydáno: (1980)
• Program correctness over abstract data types, with error-state semantics /
  Autor: Tucker, John V.
  Vydáno: (1988)
• Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
  Autor: Pierro, Alessandra Di
  Vydáno: (1996)