Das Buch ist derzeit nicht auf Lager

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik

Autoren

Oliver Bittel

Parameter

Kategorien

Informatik & Programmierung

Reihe: Berichte der Gesellschaft für Mathematik und Datenverarbeitung

Buchkauf

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik, Oliver Bittel

Sprache
Erscheinungsdatum: 1991

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden