Z Knihobotu sa stáva Bookbot!
Bookbot

Franz Xaver von Baader Poradie kníh

    27. marec 1765 – 23. máj 1841
    Advances in artificial intelligence
    Automated deduction
    Logic for programming, artificial intelligence, and reasoning
    Term rewriting and applications
    Beyträge Zur Elementar-phisiologie
    Term Rewriting and All That