MPG.eBooks - Search Results - "Computer Logic"

Cover Image

1

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

by Bruynooghe, Maurice
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... in Computational Logic -- Synthesis of Programs in Computational Logic -- Developing Logic Programs from...”

Cover Image

3

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991...

Published 1992

Springer London

Subjects: “...Computer logic...”

Cover Image

4

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer logic...”