![Model theory / Logic in computer science / Automated theorem proving / Concepts / Philosophy of science / Logic for Computable Functions / Proof assistant / Theory / HOL / Logic / Science / Mathematics Model theory / Logic in computer science / Automated theorem proving / Concepts / Philosophy of science / Logic for Computable Functions / Proof assistant / Theory / HOL / Logic / Science / Mathematics](https://www.pdfsearch.io/img/de4e405423a3b1e0c381aac4307fd8a7.jpg) Date: 2010-07-21 04:29:06Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics | | Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, andAdd to Reading ListSource URL: www.gilith.comDownload Document from Source Website File Size: 242,92 KBShare Document on Facebook
|