MPG.eBooks - Search Results - %22Mathematical Logic AND Foundations%22

Search alternatives:
22mathematical logic » mathematical logic , mathematics logic , mathematical logical

Cover Image

1

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”