Knihu momentálně nemáme skladem

Relevancy based use lemmas in connection tableau calculi

Autoři

Marc Fuchs

Parametry

ISBN: 9783898382274
Nakladatelství: Akad. Verl.-Ges. Aka

Kategorie

Navrhnout úpravu

Varianta knihy

2000

Nákup knihy

Kniha aktuálně není skladem.