Super-Recursive Algorithms Other Books in This Series
Parsing Techniques
2007
Geometric Fundamentals of Robotics
2007
Adapting Proofs-as-Programs
2007
Software Configuration Management Using Vesta
2010
Abstraction, Refinement and Proof for Probabilistic Systems
2006
Evolutionary Synthesis of Pattern Recognition Systems
2006
Reverse Engineering of Object Oriented Code
2007
Numerical Geometry of Non-Rigid Shapes
2008