Knihu momentálně nemáme skladem

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik

Autoři

Daniel Korn

Parametry

Počítače, IT, programování

Nákup knihy

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik, Daniel Korn

Jazyk
Rok vydání: 1999

Jakmile se objeví, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit

Informace o vydáníNavrhnout úpravu