| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Riazanov, A. & Voronkov, A. | The design and implementation of VAMPIRE. [BibTeX] |
2002 | AI Commun. | article | URL |
BibTeX:
@article{journals/aicom/RiazanovV02,
author = {Alexandre Riazanov and Andrei Voronkov},
title = {The design and implementation of VAMPIRE.},
journal = {AI Commun.},
year = {2002},
volume = {15},
number = {2-3},
pages = {91-110},
url = {http://dblp.uni-trier.de/db/journals/aicom/aicom15.html#RiazanovV02}
}
|
|||||
| Riazanov, A. & Voronkov, A. | The design and implementation of VAMPIRE. [BibTeX] |
2002 | AI Commun. | article | URL |
BibTeX:
@article{riazanov2002,
author = {Alexandre Riazanov and Andrei Voronkov},
title = {The design and implementation of VAMPIRE.},
journal = {AI Commun.},
year = {2002},
volume = {15},
number = {2-3},
pages = {91-110},
url = {http://dblp.uni-trier.de/db/journals/aicom/aicom15.html#RiazanovV02}
}
|
|||||
| Riazanov, A. & Voronkov, A. | The design and implementation of VAMPIRE. [BibTeX] |
2002 | AI Commun. | article | URL |
BibTeX:
@article{riazanov2002,
author = {Alexandre Riazanov and Andrei Voronkov},
title = {The design and implementation of VAMPIRE.},
journal = {AI Commun.},
year = {2002},
volume = {15},
number = {2-3},
pages = {91-110},
url = {http://dblp.uni-trier.de/db/journals/aicom/aicom15.html#RiazanovV02}
}
|
|||||
Created by JabRef export filters on 21/08/2008 by the social publication management platform BibSonomy