© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Applications of Evolutionary Computing
G. Raidl, D. Corne, E. Marchiori, J. Gottlieb, S. Cagnoni, J. Romero, C. Johnson, E. Hart, M. Middendorf, A. Guillot, and J.-A. Meyer, editors
LNCS 2611. Springer, April 2003.Bibtex Record
@proceedings{1714,
author = {},
title = {Applications of Evolutionary Computing},
month = {April},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1714},
publication_type = {proceedings},
submission_id = {7528_1063988101},
editor = {G. Raidl and D. Corne and E. Marchiori and J. Gottlieb and S. Cagnoni and J. Romero and C. Johnson and E. Hart and M. Middendorf and A. Guillot and J.-A. Meyer},
ISBN = {3-540-00976-0},
series = {LNCS 2611},
publisher = {Springer},
ISSN = {0302-9743},
}