(1 - 21 von 27
)
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