Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
Title: Automatic Quantum Computer Programming: A Genetic Programming Approach, Author: Lee Spector
Title: The Unified Process Elaboration Phase: Best Practices in Implementing the UP, Author: Scott Ambler
Title: Genetic Programming Theory and Practice IV, Author: Rick Riolo
Title: Applied Genetic Programming and Machine Learning, Author: Hitoshi Iba
Title: Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, Author: Varmo Vene
Title: Genetic Programming: 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings, Author: Michael O'Neill

Pagination Links