Jasmin - PDFSEARCH.IO - Document Search Engine

Jasmin
Results: 300

#	Item
201	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
202	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic
203	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2011-09-06 10:36:13 Logic in computer science Formal methods Automated theorem proving Isabelle Proof assistant Vampire Curry ACL2 HOL Theoretical computer science Mathematics Applied mathematics
204	Hotels offering commercial rates for OECD staff, delegates and visitors Introduction More than 60 hotels nearby OECD offices in Paris, Boulogne, Berlin, Washington and Mexico. Add to Reading List Source URL: www.oecd.org Language: English - Date: 2015-04-03 05:44:10 Wi-Fi Rue de la Pompe Organisation for Economic Co-operation and Development Passy Kléber Paris Fax Jasmin Trocadéro 16th arrondissement of Paris Technology Boissière
205	Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1,? , Sascha Böhme1 , and Lawrence C. Paulson2 1 Institut für Informatik, Technische Universität München, Germany 2 Computer Laboratory, University o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-06-03 12:43:37 Logic in computer science Automated theorem proving Formal methods Constraint programming Reasoning Satisfiability Modulo Theories Proof assistant E theorem prover Isabelle Theoretical computer science Applied mathematics Mathematics
206	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
207	Colorado Software Summit: October 23 – 28, 2005 © Copyright 2005, Simon Roberts Java Security in Practice Simon Roberts Add to Reading List Source URL: www.softwaresummit.com Language: English - Date: 2008-01-03 04:31:37 Java programming language Computing platforms Assemblers Jasmin Java Main function KeY Immutable interface Computing Java platform Cross-platform software
208	Baby names show a QWERTY effect In a conference proceedings paper that will appear in July 2014, we report two analyses of how US baby names have changed over time as predicted by the QWERTY effect (Casasanto, Jasmin, Br Add to Reading List Source URL: casasanto.com Language: English - Date: 2014-05-14 13:04:50 Electronic commerce RSA QWERTY Switching barriers Cognitive science Cross-sectional data Science Technology Economics Computer keyboards Keyboard layouts Public-key cryptography
209	Microsoft Word[removed]Jasmin Argyrou appointment.doc Add to Reading List Source URL: www.schroders.com Language: English - Date: 2014-09-16 05:18:37 Investment banks Schroders UBS Collective investment scheme Equity Schröder Investment Financial economics Finance