Computers - Programming

Logic Computation and Rigorous Methods Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Lecture Notes in Computer Science 12750 Alexander Raschke (Editor)