Knihu momentálně nemáme skladem

Automated deduction

Autoři

Andrei Voronkov

Parametry

ISBN: 9783540439318
Nakladatelství: Springer

Kategorie

Navrhnout úpravu

Varianta knihy

2002

Nákup knihy

Kniha aktuálně není skladem.