Access Restriction

Author Bibel, Wolfgang
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Spanning sets of connections ♦ Complementary matrices ♦ Matings ♦ Connection method ♦ Splitting ♦ Systematic proof procedure ♦ Refinements of resolution ♦ Theorem proving ♦ Structure sharing ♦ Unification ♦ Logic ♦ Natural deduction ♦ Resolution
Description Affiliation: Technische Univ. Munchen, Munich, West Germany (Bibel, Wolfgang)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 26
Issue Number 11
Page Count 9
Starting Page 844
Ending Page 852

Open content in new tab

   Open content in new tab
Source: ACM Digital Library