Inhaltlich reich an Theorien der automatisierten Deduktion, bietet das Buch aus der CADE‑21 in Bremen einen tiefen Einblick in aktuelle Algorithmen und logische Formalismen für Fachleute.