Joachim F. Schreiber
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
-
broschiert: 174 Seiten Format: 20,5 x 14,5 ISBN 978-3-8316-8376-5 Erschienen: 25.09.2019 48,00 €
zur Zeit nicht auf Lager, erhältlich über Amazon.de