Das Buch ist derzeit nicht auf Lager

Zur Effizienz der Beweissuche in der Logikverarbeitung

Autoren

Ulf Dunker

Parameter

Kategorien

Informatik & Programmierung

Reihe: Berichte aus der Informatik

Buchkauf

Zur Effizienz der Beweissuche in der Logikverarbeitung, Ulf Dunker

Sprache
Erscheinungsdatum: 1997

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden