Kniha momentálne nie je na sklade

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik

Autori

Oliver Bittel

Parametre

Kategórie

Počítače, IT, programovanie

Séria: Berichte der Gesellschaft für Mathematik und Datenverarbeitung

Nákup knihy

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

Jazyk
Rok vydania: 1991

Akonáhle sa objaví, pošleme vám e-mail.

Doručenie

Platobné metódy

Navrhnúť zmenu