Basis - PDFSEARCH.IO - Document Search Engine

Basis
Results: 18722

#	Item
1	ESS Token Utility and Functions There are a number of key functions that ESS will enable, with additional functionality added in as the Essentia project is developed further. This will occur on an incremental basis, with Add to Reading List Source URL: essentia.one Language: English - Date: 2018-09-04 08:00:52 Cryptocurrencies Blockchains Concurrent computing Numismatics Distributed computing Kin Decentralized application Token coin Token
2	Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:42:21 Mathematical logic Logic Mathematics Model theory Automated theorem proving Predicate logic Semantics Logic programming Resolution First-order logic Skolem normal form Substitution
3	Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Dependently typed programming Formal methods Logical framework Proof theory First-order logic Lambda calculus Calculus of constructions
4	Table of Contents 1. Legal basis .............................................................................................................................3 2. Add to Reading List Source URL: asut.ch Language: English - Date: 2015-08-17 11:06:42 Economy Telecommunications service provider Premium-rate telephone number Business Service provider Tariff Traffic Service Position System
5	ATTACHMENT - FORM 8937 “REPORT OF ORGANIZATIONAL ACTIONS AFFECTING BASIS OF SECURITIES” Part I, Items 9 & 10: Classification and description & CUSIP Number Classification and description $500,000,000 principal amou Add to Reading List Source URL: dam.abbott.com Language: English - Date: 2017-06-23 14:30:53 Stock market Abbott Laboratories Lake Bluff Illinois Income tax in the United States STJ Security Income tax in India Economy Biotechnology Business
6	Overview of legal forms Legal basis Main purpose Legal nature Company name Add to Reading List Source URL: www.gruenden.ch Language: English - Date: 2017-12-22 02:27:11 Economy Law Legal entities Business Partnerships Business law Incorporation Joint-stock company Kommanditgesellschaft Limited partnership Gesellschaft mit beschrnkter Haftung Limited liability company
7	Microsoft Word - Final Abbott_AbbVie Tax Basis Statement Add to Reading List Source URL: dam.abbott.com Language: English - Date: 2017-07-12 14:05:11 Economy Finance Equity securities Money Stock market Corporate finance Abbott Laboratories Lake Bluff Illinois S corporation AbbVie Inc. Share Tax basis
8	ZEN: Technical notes on a financial engine Nathan Cook July 18th 2017 Summary We describe the Zen Protocol, the basis for a decentralized financial Add to Reading List Source URL: www.zenprotocol.com Language: English - Date: 2018-10-19 06:12:25 Cryptocurrencies Bitcoin Blockchains Computing Alternative currencies Money Economy Cryptography SegWit Ethereum Merkle tree Bitcoin Unlimited
9	Recent Progress in Linear Algebra and Lattice Basis Reduction Gilles Villard CNRS, ENS de Lyon, INRIA, UCBL, Université de Lyon Laboratoire LIP Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2017-06-27 04:39:37 Mathematics Algebra Cryptography Computational number theory Lattice points Linear algebra Lattice-based cryptography Lattice reduction LenstraLenstraLovsz lattice basis reduction algorithm Hermite normal form Euclidean algorithm Integer relation algorithm
10	11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 21:00:52 Mathematical logic Logic Model theory Metalogic Predicate logic Formal methods Resolution First-order logic Skolem normal form Automated theorem proving Quantifier Axiom