MPG.eBooks - Search Results - "University of Edinburgh"

Cover Image

1

Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

“... of Old College, University of Edinburgh were also jointly organized. The proceedings of CHARME 2001 have...”

Cover Image

2

Rules in Database Systems : Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August–1 September 1993

Published 1994

Springer London

“...This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August...”