Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
“...This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London...”