An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reaso...

This book presents a set of historical recollections on the work of Martin Davis and his role in ...

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Internation...

This treatise presents an integrated perspective on the interplay of set theory and graph theory,...

This treatise presents an integrated perspective on the interplay of set theory and graph theory,...

This book presents a set of historical recollections on the work of Martin Davis and his role in ...