Jump to content

Talk:Vampire (theorem prover)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Untitled

[edit]

http://www.springerlink.com/content/6huhpyqdt7yw4pv2/ gives a more accessible introduction to Vampire and describes an early application to OWL DL RobertBurrellDonkin (talk) 07:32, 2 May 2010 (UTC)[reply]