CASC-J3 the 3rd IJCAR ATP system competition

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

2 Citations (Scopus)
Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages572-573
Number of pages2
Volume4130 LNAI
StatePublished - 2006
EventThird International Joint Conference on Automated Reasoning, IJCAR 2006 - Seattle, WA, United States
Duration: Aug 17 2006Aug 20 2006

Publication series

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

Other

OtherThird International Joint Conference on Automated Reasoning, IJCAR 2006
CountryUnited States
CitySeattle, WA
Period8/17/068/20/06

Fingerprint

Competition System
Adenosinetriphosphate

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Cite this

Sutcliffe, G. (2006). CASC-J3 the 3rd IJCAR ATP system competition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4130 LNAI, pp. 572-573). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4130 LNAI).

CASC-J3 the 3rd IJCAR ATP system competition. / Sutcliffe, Geoffrey.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4130 LNAI 2006. p. 572-573 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4130 LNAI).

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

Sutcliffe, G 2006, CASC-J3 the 3rd IJCAR ATP system competition. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4130 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4130 LNAI, pp. 572-573, Third International Joint Conference on Automated Reasoning, IJCAR 2006, Seattle, WA, United States, 8/17/06.
Sutcliffe G. CASC-J3 the 3rd IJCAR ATP system competition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4130 LNAI. 2006. p. 572-573. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Sutcliffe, Geoffrey. / CASC-J3 the 3rd IJCAR ATP system competition. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4130 LNAI 2006. pp. 572-573 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{609a27355d3741b8a6d77d0f52a6bd79,
title = "CASC-J3 the 3rd IJCAR ATP system competition",
author = "Geoffrey Sutcliffe",
year = "2006",
language = "English (US)",
isbn = "3540371877",
volume = "4130 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "572--573",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - CASC-J3 the 3rd IJCAR ATP system competition

AU - Sutcliffe, Geoffrey

PY - 2006

Y1 - 2006

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

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

M3 - Conference contribution

AN - SCOPUS:33749582793

SN - 3540371877

SN - 9783540371878

VL - 4130 LNAI

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

SP - 572

EP - 573

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

ER -