Learn More
Various phases in the delivery of software services such as solution design, application deployment, and maintenance require analysis of the dependencies of software products that form the solution. As software systems become more complex and involve a large number of software products from multiple vendors, availability of correct and up-to-date system(More)
We survey our past work in theorem proving, leading up to the semantic hyper-linking method, and clause linking with semantics. We highlight some basic problems in automated deduction, and show that signiicant progress has been made. We present our belief that these problems are about to be solved completely. We present some strategies that we believe will(More)