Knihu momentálně nemáme skladem

Mechanizing inductive theorem proving in conditional theories

Autoři

Ulrich Fraus

Parametry

ISBN: 9783183334100
Nakladatelství: VDI-Verl.

Kategorie

Navrhnout úpravu

Varianta knihy

1995

Nákup knihy

Kniha aktuálně není skladem.