Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren - Schreiber, Joachim F.
Marktplatzangebote
Gebraucht bestellen
Ein Angebot für € 150,00 €
  • Broschiertes Buch

Produktdetails
  • Verlag: Herbert Utz Verlag
  • Deutsch
  • ISBN-13: 9783931327477
  • ISBN-10: 3931327477
  • Artikelnr.: 25682038