Knihu momentálně nemáme skladem

Higher order logic theorem proving and its applications

Autoři

Parametry

ISBN: 9783540602750
Nakladatelství: Springer

Kategorie

Navrhnout úpravu

Varianta knihy

1995

Nákup knihy

Kniha aktuálně není skladem.