Date: 2010-07-20 03:24:48Logic Mathematical logic Mathematics Model theory Propositional calculus Logic in computer science Logical truth Linear temporal logic First-order logic Well-formed formula Interpretation Intuitionistic logic | | Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very beAdd to Reading ListSource URL: dream.inf.ed.ac.ukDownload Document from Source Website File Size: 432,57 KBShare Document on Facebook
|