V. Haarslev, and M. Ralf. IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, page 701--706. London, UK, Springer-Verlag, (2001)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 HARA01
%A Haarslev, V.
%A Ralf, M.
%B IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning
%C London, UK
%D 2001
%I Springer-Verlag
%K
%P 701--706
%T RACER System Description
@inproceedings{HARA01,
added-at = {2010-10-04T17:52:23.000+0200},
address = {London, UK},
author = {Haarslev, V. and Ralf, M.},
biburl = {https://www.bibsonomy.org/bibtex/285e8011d65d8d027d63e3f316e0ee81f/jabreftest},
booktitle = {IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning},
interhash = {c8e4c3325130b2a1affe9df07c675f75},
intrahash = {85e8011d65d8d027d63e3f316e0ee81f},
keywords = {},
pages = {701--706},
publisher = {Springer-Verlag},
timestamp = {2010-10-04T17:52:23.000+0200},
title = {RACER System Description},
year = 2001
}