RG1 - PDFSEARCH.IO - Document Search Engine

RG1
Results: 70

#	Item
21	Mechanizing Proof for the Z Toolkit R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:35:59 Propositional calculus Logical syntax Metalogic Predicate logic Principia Mathematica First-order logic Function Constructible universe Lambda calculus Logic Mathematics Mathematical logic
22	Mechanized Reasoning for Continuous Problem Domains (Extended Abstract) R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading RG1 2HX, UK Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:39:26 Abstract algebra Normed vector space Vector space Banach space Norm Inner product space Scalar Hilbert space Algebraic structure Algebra Mathematics Linear algebra
23	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
24	An Irrational Construction of R from Z R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:37:44 Field theory Elementary mathematics Real algebraic geometry Algebraic structures Ring theory Construction of the real numbers Archimedean property Real number Field Abstract algebra Mathematics Algebra
25	Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:54 Proof assistant Nqthm Five lemma Order theory Lemmas Mathematics Automated theorem proving
26	Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:54
27	Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:55 Build automation Apache Ant Cross-platform software Make Computer file WAR file format View Software Computing Compiling tools
28	Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:54 Modal logic Philosophical logic Logic in computer science Non-classical logic Philosophy of language Accessibility relation Epistemic modal logic Propositional calculus HOL Logic Mathematical logic Mathematics
29	Case Study \| Intermec Approach: Intermec approached GIRVIN to partner on the development of a worldwide strategic plan for visualizations of brand message throughout all media, Add to Reading List Source URL: www.girvin.com Language: English - Date: 2012-07-31 23:47:02 Intermec Radio-frequency identification RG1 Design Visualization Fax Brand Technology Automatic identification and data capture Science
30	PDF Document Add to Reading List Source URL: www.cmd.gov.hk Language: English - Date: 2015-01-12 19:59:03 Ginsenoside Biology Panax Herbs Dietary supplements Ginseng RG1 Chromatography Methanol Chemistry Triterpenes Saponins

UPDATE