Ricky W Butler

Ricky W Butler is the author of "The Anmlite Language and Logic for Specifying Planning Problems", "A Primer on Architectural Level Fault Tolerance", "Formalization of the Integral Calculus in the Pvs Theorem Prover" and "Solving the Ai Planning Plus Scheduling Problem...