ISBN-13: 9783831683765 / Niemiecki
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Czytaj nas na: