utzverlag

Joachim F. Schreiber: Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren

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

Ähnliche Bücher