CASC-J4 the 4th IJCAR ATP system competition

Geoff Sutcliffe

doi:10.1007/978-3-540-71070-7_38

CASC-J4 the 4th IJCAR ATP system competition

Geoff Sutcliffe

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Original language	English (US)
Title of host publication	Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings
Pages	457-458
Number of pages	2
DOIs	https://doi.org/10.1007/978-3-540-71070-7_38
State	Published - 2008
Event	4th International Joint Conference on Automated Reasoning, IJCAR 2008 - Sydney, NSW, Australia Duration: Aug 12 2008 → Aug 15 2008

Publication series

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

Other

Other	4th International Joint Conference on Automated Reasoning, IJCAR 2008
Country	Australia
City	Sydney, NSW
Period	8/12/08 → 8/15/08

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-540-71070-7_38

Cite this

CASC-J4 the 4th IJCAR ATP system competition. / Sutcliffe, Geoff.

Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings. 2008. p. 457-458 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5195 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Sutcliffe, G 2008, CASC-J4 the 4th IJCAR ATP system competition. in Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5195 LNAI, pp. 457-458, 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney, NSW, Australia, 8/12/08. https://doi.org/10.1007/978-3-540-71070-7_38

@inproceedings{056b3b1d3fa44e18a5dd5ce969c8057c,

title = "CASC-J4 the 4th IJCAR ATP system competition",

author = "Geoff Sutcliffe",

year = "2008",

doi = "10.1007/978-3-540-71070-7_38",

language = "English (US)",

isbn = "3540710698",

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

pages = "457--458",

booktitle = "Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings",

}

TY - GEN

T1 - CASC-J4 the 4th IJCAR ATP system competition

AU - Sutcliffe, Geoff

PY - 2008

Y1 - 2008

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

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

U2 - 10.1007/978-3-540-71070-7_38

DO - 10.1007/978-3-540-71070-7_38

M3 - Conference contribution

AN - SCOPUS:53049105650

SN - 3540710698

SN - 9783540710691

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

SP - 457

EP - 458

BT - Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings

T2 - 4th International Joint Conference on Automated Reasoning, IJCAR 2008

Y2 - 12 August 2008 through 15 August 2008

ER -