<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-10-17 05:37:54Dracula Gothic novels Bram Stoker Carmilla Stoker Sheridan Le Fanu Vampire Trinity College Dublin Jean Cocteau Literature Fiction Europe |
Add to Reading List |
#BiteMeDublin #CroíNaFéile 24th-27th October 2014 www.bramstokerfestival.com | The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles RegerDocID: 1xVTD - View Document |
 | Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φDocID: 1xVzg - View Document |
 | Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UKDocID: 1xV20 - View Document |
 | Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3DocID: 1xUjf - View Document |
 | Instantiation for Theory Reasoning in Vampire Giles Reger Martin RienerDocID: 1xTXS - View Document |