This research is the result of a fruitful connection and provides a sign- cant link between two t...

The relation between logic and knowledge has provoked a heated debate since the 1960s. This bo...

This book presents a historical and philosophical analysis of programming systems, intended as la...

This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe,...

Computing, today more than ever before, is a multi-faceted discipline which collates several meth...

The relation between logic and knowledge has been at the heart of a lively debate since the 19...

This research is the result of a fruitful connection and provides a sign- cant link between two t...

This research is the result of a fruitful connection and provides a sign- cant link between two t...

The relation between logic and knowledge has been at the heart of a lively debate since the 19...

The Editors' vision for this volume is that it should be a selection of essays, contributed by th...

This book presents a historical and philosophical analysis of programming systems, inte...

This book constitutes the refereed proceedings of the 15th Conference on Computability in Euro...