<--- Back to Details
First PageDocument Content
Dracula / Gothic novels / Invasion literature / Transylvania in fiction / Bram Stoker / Abraham Van Helsing / Henry Irving / The Man / Dracula in popular culture / Vampires in popular culture / Fiction / Literature
Date: 2011-12-06 00:35:14
Dracula
Gothic novels
Invasion literature
Transylvania in fiction
Bram Stoker
Abraham Van Helsing
Henry Irving
The Man
Dracula in popular culture
Vampires in popular culture
Fiction
Literature

Microsoft Word - Document3

Add to Reading List

Source URL: www.penguinclassics.com.au

Download Document from Source Website

File Size: 50,23 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

Logic / Mathematical logic / Mathematics / Propositional calculus / Logical truth / Logic in computer science / Syntax / Automated theorem proving / Resolution / Frege system / Boolean satisfiability problem / First-order logic

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

DocID: 1xVI3 - View Document

Artificial intelligence / Logic / Logic programming / Declarative programming / Automated reasoning / Programming paradigms / Automated theorem proving / Answer set programming / Reasoning system / Stable model semantics / Prolog / Inference

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

DocID: 1xVE0 - View Document

Logic / Automated theorem proving / Propositional calculus / Mathematical logic / Logic programming / Mathematics / Rules of inference / Resolution / Clause / Literal / Unit propagation / E theorem prover

Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2

DocID: 1xVdh - View Document

Temporal logic / Formal languages / Logic / Metalogic / Mathematical logic / Linear temporal logic / Mathematics / Model theory / Symbol / Computation tree logic / Interpretation / Well-formed formula

From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

DocID: 1xULF - View Document