Knihobot
Knihu momentálně nemáme skladem

Relevancy based use lemmas in connection tableau calculi

Autoři

Varianta knihy

2000

Nákup knihy

Kniha aktuálně není skladem.