Più di un milione di libri, a un clic di distanza!
Bookbot

Franz von Baader Ordine dei libri

    27 marzo 1765 – 23 maggio 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