CASC-J4 the 4th IJCAR ATP system competition

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages457-458
Number of pages2
Volume5195 LNAI
DOIs
StatePublished - 2008
Event4th International Joint Conference on Automated Reasoning, IJCAR 2008 - Sydney, NSW, Australia
Duration: Aug 12 2008Aug 15 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5195 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other4th International Joint Conference on Automated Reasoning, IJCAR 2008
CountryAustralia
CitySydney, NSW
Period8/12/088/15/08

Fingerprint

Competition System
Adenosinetriphosphate

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Sutcliffe, G. (2008). CASC-J4 the 4th IJCAR ATP system competition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5195 LNAI, pp. 457-458). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5195 LNAI). https://doi.org/10.1007/978-3-540-71070-7_38

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5195 LNAI 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 proceedingConference contribution

Sutcliffe, G 2008, CASC-J4 the 4th IJCAR ATP system competition. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 5195 LNAI, 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
Sutcliffe G. CASC-J4 the 4th IJCAR ATP system competition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5195 LNAI. 2008. p. 457-458. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-71070-7_38
Sutcliffe, Geoffrey. / CASC-J4 the 4th IJCAR ATP system competition. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5195 LNAI 2008. pp. 457-458 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{056b3b1d3fa44e18a5dd5ce969c8057c,
title = "CASC-J4 the 4th IJCAR ATP system competition",
author = "Geoffrey Sutcliffe",
year = "2008",
doi = "10.1007/978-3-540-71070-7_38",
language = "English (US)",
isbn = "3540710698",
volume = "5195 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "457--458",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

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

AU - Sutcliffe, Geoffrey

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

SN - 3540710698

SN - 9783540710691

VL - 5195 LNAI

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

SP - 457

EP - 458

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

ER -