Z Knihobotu sa stáva Bookbot!

Kniha momentálne nie je na sklade

Mechanizing inductive theorem proving in conditional theories

Autori

Ulrich Fraus

Parametre

Počítače, IT, programovanie

Nákup knihy

Mechanizing inductive theorem proving in conditional theories, Ulrich Fraus

Jazyk
Rok vydania: 1995

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

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Informácie o vydaníNavrhnúť zmenu