Cover Image
Read Now

2
Published 1997
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational...”
Cover Image
Read Now

3
Published 1993
Springer Berlin Heidelberg
“.... The aim of this meeting wasto bring together researchers working in the fields of computational logic...”