HOL - PDFSEARCH.IO - Document Search Engine

HOL
Results: 851

#	Item
841	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-08-30 07:17:32 Logic in computer science Formal methods Automated theorem proving Proof assistant Type theory POPLmark challenge Twelf HOL Matita Theoretical computer science Mathematical software Mathematical logic
842	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-08-23 14:58:44 Logic in computer science Formal methods Automated theorem proving HOL Logic for Computable Functions Higher-order logic Isabelle Michael J. C. Gordon Theorem Proving in Higher-Order Logics Theoretical computer science Mathematics Applied mathematics
843	PDF Document Add to Reading List Source URL: ttvsi.gilith.com Language: English - Date: 2009-09-28 15:59:09 Applied mathematics Formal methods Automated theorem proving ACL2 Lisp programming language Formal verification Michael J. C. Gordon HOL Mathematical logic Theoretical computer science Mathematics Logic in computer science
844	PDF Document Add to Reading List Source URL: www.btrc.net Language: English - Date: 2013-05-11 22:06:46 CORPS Monk Hol The Fantasy Trip SPECIAL Statistic Massively multiplayer online role-playing games Windows games Games Role-playing game terminology Attribute
845	PDF Document Add to Reading List Source URL: pdf.wri.org Language: English - Date: 2010-05-17 09:27:08 Mesoamerican Barrier Reef System Earth Fisheries Conservation in Belize Marine protected area Belize Mangrove Marine conservation Hol Chan Marine Reserve Water Coral reefs Physical geography
846	PDF Document Add to Reading List Source URL: www.memento-mori.com Language: English - Date: 2013-09-11 12:27:31 Randomness Boogeyman Hol Three Man One-Roll Engine Games Drinking games Dice
847	PDF Document Add to Reading List Source URL: pdf.wri.org Language: English - Date: 2008-11-21 14:27:15 Mesoamerican Barrier Reef System Earth Fisheries Conservation in Belize Ecosystems Marine protected area Mangrove Belize Hol Chan Marine Reserve Water Coral reefs Physical geography
848	PDF Document Add to Reading List Source URL: www.arcdream.com Language: English - Date: 2012-09-24 15:07:55 Dice pool Dice Hol One-Roll Engine Dungeon Dice Monsters Games Gaming Monsters and Other Childish Things
849	PDF Document Add to Reading List Source URL: users.hol.gr Language: Greek - Date: 2005-05-03 07:05:44
850	PDF Document Add to Reading List Source URL: www.btrc.net Language: English - Date: 2013-05-11 22:06:47 Attribute Statistic Hol Timelords GURPS Games Role-playing game terminology EABA