HOL - PDFSEARCH.IO - Document Search Engine

HOL
Results: 851

#	Item
441	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
442	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Law Creative Commons Free music Universal quantification Lambda calculus Open content Copyleft Computer law
443	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
444	PLEASE READ THESE GUIDELINES BECAUSE THEY HAVE CHANGED. Revised[removed]The Heritage Institute (THI) Group Collaboration Guidelines for Online & Distance Courses Add to Reading List Source URL: www.hol.edu Language: English - Date: 2013-03-07 18:10:02 Syllabus E-learning Education Curricula Distance education
445	Keilor Electoral District[removed]Redivision Hol H H Add to Reading List Source URL: pandora.nla.gov.au Language: English - Date: 2006-06-21 03:00:48 Keilor Victoria Delahey Victoria Taylors Lakes Victoria Keilor Downs Victoria Keilor North Victoria
446	The Heritage Institute Group Collaboration Documentation Form PLEASE READ THE INSTRUCTIONS CAREFULLY, BECAUSE THEY HAVE CHANGED. Revised[removed] Add to Reading List Source URL: www.hol.edu Language: English - Date: 2013-03-07 18:09:58 Online education Distance education
447	International Gold Event 2011 The International Gold Event (IGE) is a triennial event organized by The International Award Association (IAA) to bring together Gold Award hol Add to Reading List Source URL: web.ayp.org.hk Language: English - Date: 2011-09-30 05:16:09
448	620_17524_001_PHBRev3a.qxk[removed]:42 AM Add to Reading List Source URL: www.angelfire.com Language: English - Date: 2005-05-06 22:26:22 Massively multiplayer online role-playing games Dungeons & Dragons gameplay Windows games Games Dex Dexter Hol
449	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
450	Law of the Gun Skirmish rules for the Wild West[removed]Tyneside wargames club January 2010 Add to Reading List Source URL: www.tynesidewargames.co.uk Language: English - Date: 2013-07-21 03:40:55 Games Hol Miniatures games

UPDATE