BibSonomy publications for /bibtex/17fb24b912d5276ecce33c4ce0098123f http://www.bibsonomy.org/bibtex/17fb24b912d5276ecce33c4ce0098123f BibSonomy RSS Feed for /bibtex/17fb24b912d5276ecce33c4ce0098123f The design and implementation of VAMPIRE. dblp http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/daks daks 2008-07-19T08:29:49+02:00 first-order reasoning Riazanov, Alexandre & Voronkov, Andrei (2002). The design and implementation of VAMPIRE.. AI Commun.: 15. (pp. 91-110). [BibSonomy: first-order reasoning] URL ]]> The design and implementation of VAMPIRE. dblp http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/thau thau 2008-02-20T02:46:28+01:00 first-order reasoning Riazanov, Alexandre & Voronkov, Andrei (2002). The design and implementation of VAMPIRE.. AI Commun.: 15. (pp. 91-110). [BibSonomy: first-order reasoning] URL ]]> The design and implementation of VAMPIRE. dblp http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/dblp dblp 2003-11-27T00:00:00+01:00 dblp Riazanov, Alexandre & Voronkov, Andrei (2002). The design and implementation of VAMPIRE.. AI Commun.: 15. (pp. 91-110). [BibSonomy: dblp] URL ]]>