Automated Reasoning in the Simulation of Evolvable Systems

Djihed Afifi, David Rydeheard, Howard Barringer

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Cite this

@inproceedings{33eb6cf1ca0f49188e80c2ca9678d860,

title = "Automated Reasoning in the Simulation of Evolvable Systems",

author = "Djihed Afifi and David Rydeheard and Howard Barringer",

note = "see: http://www.eprover.org/EVENTS/PAAR-2010/paar-2010.html",

year = "2010",

language = "English",

pages = "12--22",

booktitle = "host publication",

}