CASC-J4 the 4th IJCAR ATP system competition

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

1 Scopus citations
Original languageEnglish (US)
Title of host publicationAutomated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings
Pages457-458
Number of pages2
DOIs
StatePublished - Oct 7 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)0302-9743
ISSN (Electronic)1611-3349

Other

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Sutcliffe, G. (2008). CASC-J4 the 4th IJCAR ATP system competition. In Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings (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