Computational Logic: Symposium Proceedings (ESPRIT Basic Research Series) - Hardcover

 
9783540534372: Computational Logic: Symposium Proceedings (ESPRIT Basic Research Series)
Hardcover
ISBN 10: 3540534377 ISBN 13: 9783540534372
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990

Synopsis

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.

"synopsis" may belong to another edition of this title.

Synopsis

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.

"About this title" may belong to another edition of this title.

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date
1990
Language
English
ISBN 10 
3540534377
ISBN 13 
9783540534372
Binding
Hardcover
Number of pages
222
Editor
Lloyd J. W.

Other Popular Editions of the Same Title

9783642762765: Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Featured Edition

ISBN 10:  364276276X ISBN 13:  9783642762765
Publisher: Springer, 2011
Softcover