© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Advances in Artificial LIfe - Proc. 8th European Conf. (ECAL-2005)
MS Capcarrere, AA Freitas, PJ Bentley, CG Johnson, and J Timmis, editors
volume Lecture Notes in Artificial Intelligence 3630. Springer Verlag, September 2005.Bibtex Record
@proceedings{2243,
author = {},
title = {Advances in Artificial LIfe - Proc. 8th European Conf. (ECAL-2005)},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2243},
publication_type = {proceedings},
submission_id = {20219_1126883349},
editor = {MS Capcarrere and AA Freitas and PJ Bentley and CG Johnson and J Timmis},
ISBN = {354028848-1},
volume = {Lecture Notes in Artificial Intelligence 3630},
publisher = {Springer Verlag},
ISSN = {0302-9743},
}