IO - PDFSEARCH.IO - Document Search Engine

IO
Results: 17950

#	Item
101	PDF Document Add to Reading List Source URL: tokenator.io Language: English - Date: 2018-05-30 00:38:19 Cryptocurrencies Economy Cryptography Money Password Bitcoin Kin Gram Initial coin offering Draft:Growth Markets Organisation
102	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
103	BUILDING A REGULATED INVESTMENT PLATFORM AND SECURITY TOKEN EXCHANGE FOR START-UPS AND SMEs Q4 2018 Disclaimer Add to Reading List Source URL: www.kambio.io Language: English - Date: 2018-10-18 01:47:00 Stock market Finance Initial public offering 73rd United States Congress U.S. Securities and Exchange Commission Prospectus Securities Act Initial coin offering Security Money Economy
104	Ethereum sharding Research update Modular design Deposits Add to Reading List Source URL: edcon.io - Date: 2018-10-16 07:02:08
105	f´ evrier 2013 Journ´ ees Francophones des Langages Applicatifs Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
106	Next generation agreements for everyone on the Ethereum Blockchain www.contractvault.io Add to Reading List Source URL: icorating.com Language: English Cryptocurrencies Blockchains Contract law Computing Decentralization Ethereum Concurrent computing Law Smart contract Ricardian contract Contract ternity
107	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Computing Software engineering Computer programming Functional programming Subroutines Computability theory Theoretical computer science Computer algebra systems Pattern matching Wolfram Mathematica Expr Anonymous function
108	Whitepaper MobileGo Token www.mobilego.io After two years of development with gaming industry leaders, Datcroft LTD., Gamecredits is close to completion of development of the first crypto mobile gaming store. This mobile Add to Reading List Source URL: www.mobilego.io Language: English - Date: 2018-09-14 07:32:32 Computing Video game platforms Video game culture Gaming Human behavior Mobile game PC game Smartphone Esports Mobile app Gamer Electronic Arts
109	UDAP - A Universal Decentralized Asset Add to Reading List Source URL: www.udap.io Language: Chinese - Date: 2018-10-19 00:22:37
110	SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematics Formal methods Mathematical logic Logic in computer science Electronic design automation NP-complete problems Boolean algebra Satisfiability modulo theories Coq Solver Proof assistant