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
The design and implementation of VAMPIRE.
Alexandre Riazanov and Andrei Voronkov AI Commun. 15 91-110 (2002)
to first-order reasoning by daks on 2008-07-19 08:29:49
]]> 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
The design and implementation of VAMPIRE.
Alexandre Riazanov and Andrei Voronkov AI Commun. 15 91-110 (2002)
to first-order reasoning by thau on 2008-02-20 02:46:28
]]> The design and implementation of VAMPIRE. dblp http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/dblp dblp 2003-11-27T00:00:00+01:00 dblp
The design and implementation of VAMPIRE.
Alexandre Riazanov and Andrei Voronkov AI Commun. 15 91-110 (2002)
to dblp by dblp on 2003-11-27 00:00:00
]]>