(1 - 13 von 15
)
Propositional logic deduction and algorithms
www.cambridge.org
Part of Cambridge Tracts in Theoretical Computer Science. Authors: Hans Kleine Büning, Universität-Gesamthochschule Paderborn, Germany; Theodor Lettmann, ... › ...
sortiert nach Relevanz / Datum