<--- Back to Details
First PageDocument Content
Windows games / Dungeons & Dragons / Hol / Melee / Wizard / Ranger / Magic of Dungeons & Dragons / Role-playing game terminology / Massively multiplayer online role-playing games / GURPS / DragonQuest
Date: 2009-01-12 23:36:17
Windows games
Dungeons & Dragons
Hol
Melee
Wizard
Ranger
Magic of Dungeons & Dragons
Role-playing game terminology
Massively multiplayer online role-playing games
GURPS
DragonQuest

Add to Reading List

Source URL: www.atagar.com

Download Document from Source Website

File Size: 250,06 KB

Share Document on Facebook

Similar Documents

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  David Hartley  Max Cordle Director  Jason Baker Deputy Director  Amber Lopez December 2, 2016 The Board will hol

DocID: 1xVQi - View Document

Mathematical logic / Type theory / Computability theory / Lambda calculus / Theoretical computer science / Model theory / Higher-order logic / Constructible universe / Mathematics

Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber

DocID: 1xVzf - View Document

Software engineering / Computer programming / Computing / Functional programming / Subroutines / Programming idioms / Theoretical computer science / Functional languages / Monad / Standard ML / Eval / Algorithm

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1

DocID: 1xVpS - View Document

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

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

DocID: 1xVds - View Document

CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez May 25, 2017 The Board will hol

DocID: 1xV8E - View Document