Knihu momentálně nemáme skladem

Learning search control knowledge for equational deduction

Autoři

Stephan Schulz

Parametry

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

Kategorie

Navrhnout úpravu

Varianta knihy

2000

Nákup knihy

Kniha aktuálně není skladem.