<--- Back to Details
First PageDocument Content
Horror fiction / Corporeal undead / Horror film / Monster / Night of the Living Dead / Vampire hunter / Vampire / Zombie / Index of Advanced Dungeons & Dragons 1st edition monsters
Date: 2012-01-17 16:59:13
Horror fiction
Corporeal undead
Horror film
Monster
Night of the Living Dead
Vampire hunter
Vampire
Zombie
Index of Advanced Dungeons & Dragons 1st edition monsters

Monsters in America release

Add to Reading List

Source URL: www.baylorpress.com

Download Document from Source Website

File Size: 135,92 KB

Share Document on Facebook

Similar Documents

Software engineering / Mathematical logic / Theoretical computer science / Formal methods / Logic in computer science / Model theory / Computability theory / Procedural programming languages / First-order logic / Automated theorem proving / ALGOL 68 / Let expression

The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger

DocID: 1xVTD - View Document

Theoretical computer science / Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Logic programming / Resolution / Unification / Satisfiability modulo theories / Andrei Voronkov

Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ

DocID: 1xVzg - View Document

Logic / Mathematical logic / Theoretical computer science / Automated theorem proving / Logic in computer science / Formal methods / Logic programming / Propositional calculus / Resolution / Unification / Satisfiability modulo theories / Literal

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK

DocID: 1xV20 - View Document

Theoretical computer science / Mathematical logic / Logic / Automated theorem proving / Logic in computer science / Formal methods / Logic programming / Predicate logic / Satisfiability modulo theories / Unification / Solver / Resolution

Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

DocID: 1xUjf - View Document

Mathematical logic / Logic / Mathematics / Axioms of set theory / 1Q / Axiom

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener

DocID: 1xTXS - View Document