Book Details
Format
Paperback
Pages
412
Language
English
Published
Sep 6, 1989
Publisher
Springer
ISBN-10
354051659X
ISBN-13
9783540516590
Description
In a collection that embodies the intersection of logic and computer science, a series of insightful papers emerge from the discussions held at the second workshop dedicated to this fascinating field. Taking place in Duisburg in October 1988, the event gathered prominent scholars and practitioners who contributed their expertise and innovative ideas.
The proceedings encapsulate a diverse range of topics, exploring foundational elements of logic as they apply to computational theories and practices. Each paper reflects the collaborative spirit of the workshop, showcasing the ongoing dialogue between theoretical underpinnings and practical applications in computer science.
With contributions from distinguished authors, including Egon Börger, Hans Kleine Büning, and Michael M. Richter, this volume serves as an important resource for researchers and students alike. It presents a snapshot of the academic landscape at the time, revealing the evolving challenges and breakthroughs at the confluence of logic and computation.
The proceedings encapsulate a diverse range of topics, exploring foundational elements of logic as they apply to computational theories and practices. Each paper reflects the collaborative spirit of the workshop, showcasing the ongoing dialogue between theoretical underpinnings and practical applications in computer science.
With contributions from distinguished authors, including Egon Börger, Hans Kleine Büning, and Michael M. Richter, this volume serves as an important resource for researchers and students alike. It presents a snapshot of the academic landscape at the time, revealing the evolving challenges and breakthroughs at the confluence of logic and computation.
Genres
Science & Technology
