This volume constitutes the proceedings of the 14th International Conference on Theorem Proving i...

This book is a pioneering social and economic study of a London suburban parish in the seventeent...

GStreamer is an extremely powerful and versatile framework for creating streaming media applicati...

More than ever, organisations are facing a data avalanche from various sources, be they in electr...

By compiling an experimental method combining both dialectic and rhetoric, 'Dialectic, Rhetoric a...

More than ever organisations are facing a data avalanche from various data sources, be it in elec...