Knihobot
Knihu momentálně nemáme skladem

A connectionist approach for learning search control heuristics for automated deduction systems

Autoři

Varianta knihy

1999

Nákup knihy

Kniha aktuálně není skladem.