This is Vlad Tepes High School, ladies and gentlemen! Here we teach all the little vampires (like you) the tricks of being a decent vampire! Listen and learn carefully my child! You may be an undead but you don't live forever, if you don't learn the necessary skills for your survival!

Construct castles, block by block and tower by tower, as you flex your logic muscles with this beautifully crafted 3-D wooden puzzle. The challenge is to assemble the wooden blocks and towers to build one of the castles in the included puzzle booklet. The 3 towers have sticks of different length and the blocks have holes, but not always in the same direction. Where do you need to place the longest tower?

This is Vlad Tepes High School, ladies and gentlemen! Here we teach all the little vampires (like you) the tricks of being a decent vampire! Listen and learn carefully my child! You may be an undead but you don't live forever, if you don't learn the necessary skills for your survival!

Construct castles, block by block and tower by tower, as you flex your logic muscles with this beautifully crafted 3-D wooden puzzle. The challenge is to assemble the wooden blocks and towers to build one of the castles in the included puzzle booklet. The 3 towers have sticks of different length and the blocks have holes, but not always in the same direction. Where do you need to place the longest tower?

Automatic theorem proving has a number of important applications, such as Software Verification, Hardware Verification, Hardware Design, Knowledge Representation and Reasoning, Semantic Web, Algebra and Proving Theorems in Mathematics. Over 50 years of research in theorem proving have resulted in one of the most advanced and elegant theories in computer science. This area is an ideal target for scientific engineering: implementation techniques have to be developed to realise an advanced theory in practically valuable tools.

Vampire is a theorem prover, that is, a system able to prove theorems. More precisely, it proves theorems in first-order logic. The development of Vampire has begun in 1994. The current version belongs to the third generation of Vampire, see the authors information for details .

This is Vlad Tepes High School, ladies and gentlemen! Here we teach all the little vampires (like you) the tricks of being a decent vampire! Listen and learn carefully my child! You may be an undead but you don't live forever, if you don't learn the necessary skills for your survival!

Construct castles, block by block and tower by tower, as you flex your logic muscles with this beautifully crafted 3-D wooden puzzle. The challenge is to assemble the wooden blocks and towers to build one of the castles in the included puzzle booklet. The 3 towers have sticks of different length and the blocks have holes, but not always in the same direction. Where do you need to place the longest tower?

Automatic theorem proving has a number of important applications, such as Software Verification, Hardware Verification, Hardware Design, Knowledge Representation and Reasoning, Semantic Web, Algebra and Proving Theorems in Mathematics. Over 50 years of research in theorem proving have resulted in one of the most advanced and elegant theories in computer science. This area is an ideal target for scientific engineering: implementation techniques have to be developed to realise an advanced theory in practically valuable tools.

Vampire is a theorem prover, that is, a system able to prove theorems. More precisely, it proves theorems in first-order logic. The development of Vampire has begun in 1994. The current version belongs to the third generation of Vampire, see the authors information for details .

This website is not suitable to minors.

Please verify your age by clicking the appropriate button below: