Knihu momentálně nemáme skladem

Mechanizing inductive theorem proving in conditional theories

Autoři

Ulrich Fraus

Parametry

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

Nákup knihy

Mechanizing inductive theorem proving in conditional theories, Ulrich Fraus

Jazyk
Rok vydání: 1995

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

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit

Informace o vydáníNavrhnout úpravu