Z Knihobotu sa stáva Bookbot!

Kniha momentálne nie je na sklade

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik

Autori

Daniel Korn

Parametre

Počítače, IT, programovanie

Nákup knihy

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

Jazyk
Rok vydania: 1999

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

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Informácie o vydaníNavrhnúť zmenu