MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Nieuwenhuis, Robert
Hillenbrand, Thomas
Riazanov, Alexandre
Voronkov, Andrei		dblp
dblp
dblp
dblp
Editor(s):
Goré, Rajeev
Leitsch, Alexander
Nipkow, Tobias		dblp
dblp
dblp
BibTeX cite key*:
NieuwenhuisHillenbrandRiazanovVoronkov2001
Title, Booktitle
Title*:
On the Evaluation of Indexing Techniques for Theorem Proving
Booktitle*:
Automated reasoning : First International Joint Conference, IJCAR 2001
Event, URLs
Conference URL::
http://www.dii.unisi.it/~ijcar/
Downloading URL:
Event Address*:
Siena, Italy
Language:
English
Event Date*
(no longer used):
June, 18-22
Organization:
Event Start Date:
14 May 2003
Event End Date:
18 May 2003
Publisher
Name*:
Springer
URL:
http://www.springer.de
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
2083
Number:
Month:
June
Pages:
257-271
Year*:
2001
VG Wort Pages:
15
ISBN/ISSN:
3-540-42254-5
Sequence Number:
DOI:
Note, Abstract, ©
HyperLinks / References / URLs:
http://www.mpi-sb.mpg.de/~hillen/compit
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:
@INPROCEEDINGS{NieuwenhuisHillenbrandRiazanovVoronkov2001,
AUTHOR = {Nieuwenhuis, Robert and Hillenbrand, Thomas and Riazanov, Alexandre and Voronkov, Andrei},
 EDITOR = {Gor{\'e}, Rajeev and Leitsch, Alexander and Nipkow, Tobias},
 TITLE = {On the Evaluation of Indexing Techniques for Theorem Proving},
 BOOKTITLE = {Automated reasoning : First International Joint Conference, IJCAR 2001},
 PUBLISHER = {Springer},
 YEAR = {2001},
 VOLUME = {2083},
 PAGES = {257--271},
 SERIES = {Lecture Notes in Artificial Intelligence},
 ADDRESS = {Siena, Italy},
 MONTH = {June},
 ISBN = {3-540-42254-5},
}

Entry last modified by Christine Kiesel, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Thomas Hillenbrand		Created
03/15/2002 09:20:46 PM
Revisions
8.
7.
6.
5.
4.		Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm		Edit Dates
14.05.2003 18:43:35
14.05.2003 17:03:15
31.03.2002 17:53:01
31.03.2002 17:01:50
31.03.2002 17:01:18