Cam - PDFSEARCH.IO - Document Search Engine

Cam
Results: 13485

#	Item
1	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:18:50 Software engineering Computer programming Programming language theory Functional languages Proof assistants Procedural programming languages Logic in computer science Type theory Isabelle Logic for Computable Functions Standard ML ML
2	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:03 Software Proof assistants Computing Logic in computer science JEdit Isabelle Standard ML Plug-in Selection Logic for Computable Functions HOL Isabel
3	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:25 Computer programming Software engineering Computing Fold Recursion LaTeX
4	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:18:36 Computer programming Recursion Mathematical logic Software engineering Computability theory Theory of computation Theoretical computer science -recursive function Recursive definition Well-founded relation Functional programming Pattern matching
5	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:18:43 Mathematical proof Isabelle
6	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:42 Mathematics Logic Mathematical logic Recursion Theoretical computer science Mathematical proofs Type theory Mathematical induction Structural induction Recursive definition Automated theorem proving Natural deduction
7	PUSHING BOUNDARIES THE 2015 UK ALTERNATIVE FINANCE INDUSTRY REPORT February 2016 Bryan Zhang, Peter Baeck, Tania Ziegler, Add to Reading List Source URL: www.jbs.cam.ac.uk Language: English - Date: 2018-05-31 04:48:10 Economy Money Finance Financial technology Collaborative finance Entrepreneurship Crowdfunding Alternative finance Cambridge Centre For Alternative Finance Peer-to-peer lending Funding Borro Private Finance
8	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:26 System software Software Computing Scripting languages System administration Cygwin Red Hat software Command shells Unix shell Environment variable Shell script Command-line interface
9	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:03 Software Proof assistants Computing Logic in computer science JEdit Isabelle Standard ML Plug-in Selection Logic for Computable Functions HOL Isabel
10	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:23 Type theory Theoretical computer science Proof assistants Mathematical logic Programming language theory Formal methods Lambda calculus Logic in computer science Isabelle HOL HindleyMilner type system Automated theorem proving