Knihu momentálně nemáme skladem

Automated reasoning with analytic tableaux and related methods

Autoři

Neil V. Murray

Parametry

ISBN: 9783540660866
Nakladatelství: Springer

Kategorie

Navrhnout úpravu

Varianta knihy

1999

Nákup knihy

Kniha aktuálně není skladem.