Things are tough right now ...

They're tough for everyone :( But when coronavirus hit here in the UK, the museum had to close its doors to the public, and we lost practically all our income overnight.

Please Donate Via Just GivingNo visitors, no workshops, no events, no school visits... no income. We know that things are tough for everyone right now, but if you can afford to help us through these tough times please donate what you can.

There's over 36,000 exhibits here! That should keep you occupied for a bit - get searching!

Or come and get involved on our social media channels ...

      Twitch  Facebook          Online Gift Shop      

Thank you.

EESPRIT: Computational Logic

J.W. Lloyd (Author)
Hardcover: 211 pages
Publisher: Springer-Verlag New York, Inc (Dec 3 1990)
Language: English
ISBN-13: 978-0387534374

This book contains papers presented at the Symposium on Computational Logic held during the 7th ESPRIT Conference. Ten leading researchers in computational logic were invited to contribute papers. The papers range from some on specialized research topics to some which give an overview and a glimpse into the future of computational logic. A major theme of the symposium was the likely future impact of computational logic, and there was a panel session on the topic "Programming in 2010: the Role of Computational Logic". The position papers of the panelists are included in the book. The book will be of interest to researchers and graduate students in logic programming, database systems, artificial intelligence, and software engineering. This volume is the first of the ESPRIT Basic Research Series. The ESPRIT Basic Research efforts aim at forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of information technology. The quality of content of this series and its broad distribution should have a major impact in making these advances accessible to both academic and industrial researchers.

Kindly donated by Mike Rogers
Commission of the European Communities

ISBN : ISBN-10: 0387534377

Publisher :

Author : J W Lloyd

Format :

-J W Lloyd-




This book may be available to buy :
EESPRIT: Computational Logic




This exhibit has a reference ID of CH28554. Please quote this reference ID in any communication with the Centre for Computing History.
EESPRIT: Computational Logic Click on the Images For Detail

Help support the museum by buying from the museum shop

View all items

Founding Sponsors
redgate Google ARM Real VNC Microsoft Research
Heritage Lottery Funded
Heritage Lottery Fund
Accredited Museum