IRIS publication 381307
Top-down Synthesis of Recursive Logic Procedures from First-Order Logic Specifications
RIS format for Endnote and similar
TY - CONF - Lau, K. K., Prestwich, S. D. - International Conference on Logic Programming - Top-down Synthesis of Recursive Logic Procedures from First-Order Logic Specifications - 1990 - June - Published - 1 - () - 01-JUN-90 - 30-DEC-99 DA - 1990/06 ER -
BIBTeX format for JabRef and similar
@inproceedings{V381307,
= {Lau, K. K. and Prestwich, S. D. },
= {International Conference on Logic Programming},
= {{Top-down Synthesis of Recursive Logic Procedures from First-Order Logic Specifications}},
= {1990},
= {June},
= {Published},
= {1},
= {()},
month = {Jun},
= {30-DEC-99},
source = {IRIS}
}Data as stored in IRIS
| AUTHORS | Lau, K. K., Prestwich, S. D. | ||
| TITLE | International Conference on Logic Programming | ||
| PUBLICATION_NAME | Top-down Synthesis of Recursive Logic Procedures from First-Order Logic Specifications | ||
| YEAR | 1990 | ||
| MONTH | June | ||
| STATUS | Published | ||
| PEER_REVIEW | 1 | ||
| TIMES_CITED | () | ||
| SEARCH_KEYWORD | |||
| EDITORS | * | ||
| START_PAGE | * | ||
| END_PAGE | * | ||
| LOCATION | * | ||
| START_DATE | 01-JUN-90 | ||
| END_DATE | 30-DEC-99 | ||
| ABSTRACT | |||
| FUNDED_BY | * | ||
| URL | |||
| DOI_LINK | |||
| FUNDING_BODY | |||
| GRANT_DETAILS |