Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /

Схожие документы

• Theorem proving in higher order logics : proceedings /
  Опубликовано: (1996)
• Automated theorem proving /
  по: Bibel, W., 1938-
  Опубликовано: (1982)
• Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /
  Опубликовано: (1994)
• Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings /
  Опубликовано: (1995)
• Using sophisticated models in resolution theorem proving /
  по: Sandford, David M.
  Опубликовано: (1980)