| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Artificial Evolution: European Conference, AE '95, Brest, France, September 4 - 6, 1995. Selected Papers. | Taschenbuch | 978-3-540-61108-0 | 2008 | Evelyne Lutton · Jean-Marc Alliot · Marc Schoenauer · Edmund Ronald | |
| Artificial Evolution: Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers | " | 978-3-540-64169-8 | 2008 | Evelyne Lutton · Marc Schoenauer · Jin-Kao Hao · Edmund Ronald | |
| From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions | " | 978-3-540-18217-7 | 2008 | Andre Thayse | |
| From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions | Paperback | 978-0-387-18217-9 | 1987 | " |