IRIS publication 26616810
Refutation by Randomised General Resolution.
RIS format for Endnote and similar
TY - CONF - S. D. Prestwich, I. Lynce. - 22nd Conference on Artificial Intelligence (AAAI) NECTAR track - Refutation by Randomised General Resolution. - 2007 - January - Validated - 1 - () DA - 2007/01 ER -
BIBTeX format for JabRef and similar
@inproceedings{V26616810,
= {S. D. Prestwich, I. Lynce. },
= {22nd Conference on Artificial Intelligence (AAAI) NECTAR track},
= {{Refutation by Randomised General Resolution.}},
= {2007},
= {January},
= {Validated},
= {1},
= {()},
source = {IRIS}
}Data as stored in IRIS
| AUTHORS | S. D. Prestwich, I. Lynce. | ||
| TITLE | 22nd Conference on Artificial Intelligence (AAAI) NECTAR track | ||
| PUBLICATION_NAME | Refutation by Randomised General Resolution. | ||
| YEAR | 2007 | ||
| MONTH | January | ||
| STATUS | Validated | ||
| PEER_REVIEW | 1 | ||
| TIMES_CITED | () | ||
| SEARCH_KEYWORD | |||
| EDITORS | |||
| START_PAGE | |||
| END_PAGE | |||
| LOCATION | |||
| START_DATE | |||
| END_DATE | |||
| ABSTRACT | |||
| FUNDED_BY | |||
| URL | |||
| DOI_LINK | |||
| FUNDING_BODY | |||
| GRANT_DETAILS |