The HR program for theorem generation

Simon Colton

The HR program for theorem generation

Simon Colton

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Proceedings
Editors	Andrei Voronkov
Publisher	Springer
Pages	285-289
Number of pages	5
ISBN (Print)	3540439315, 9783540439318
Publication status	Published - 2002
Externally published	Yes
Event	18th International Conference on Automated Deduction, CADE 2002 - Copenhagen, Denmark Duration: 27 Jul 2002 → 30 Jul 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2392
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	18th International Conference on Automated Deduction, CADE 2002
Country/Territory	Denmark
City	Copenhagen
Period	27/07/02 → 30/07/02

Cite this

@inproceedings{2af440300bdd4017822e94a9203881b6,

title = "The HR program for theorem generation",

author = "Simon Colton",

year = "2002",

language = "English",

isbn = "3540439315",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "285--289",

editor = "Andrei Voronkov",

booktitle = "Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Proceedings",

note = "18th International Conference on Automated Deduction, CADE 2002 ; Conference date: 27-07-2002 Through 30-07-2002",

}

Colton, S 2002, The HR program for theorem generation. in A Voronkov (ed.), Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2392, Springer, pp. 285-289, 18th International Conference on Automated Deduction, CADE 2002, Copenhagen, Denmark, 27/07/02.

The HR program for theorem generation. / Colton, Simon.

Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Proceedings. ed. / Andrei Voronkov. Springer, 2002. p. 285-289 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2392).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - The HR program for theorem generation

AU - Colton, Simon

PY - 2002

Y1 - 2002

UR - http://www.scopus.com/inward/record.url?scp=84948974453&partnerID=8YFLogxK

M3 - Conference Paper

AN - SCOPUS:84948974453

SN - 3540439315

SN - 9783540439318

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 285

EP - 289

BT - Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Proceedings

A2 - Voronkov, Andrei

PB - Springer

T2 - 18th International Conference on Automated Deduction, CADE 2002

Y2 - 27 July 2002 through 30 July 2002

ER -

The HR program for theorem generation

Publication series

Conference

Other files and links

Cite this