Books by Balder Ten Cate

2 titles available, newest first by original publication date.

Theory and Applications of Craig Interpolation

Balder Ten Cate

$89.99

Web Reasoning and Rule Systems: 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

Web Reasoning and Rule Systems: 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

Balder Ten Cate

$56.99