Works
- Franz Baader, Tobias Nipkow, Term Rewriting and All That, (1998) Cambridge University Press.
- Franz Baader, ed. (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN 978-0-521-78176-3. http://books.google.com/books?id=riSeOKw5I6sC&printsec=frontcover&dq=Franz+Baader&source=bl&ots=T6YxS-Rxef&sig=hO0MRB5MoljSxz8pc2yyaV2SX3M&hl=en&ei=bvmGS6bEGsaPtgeckLC0DQ&sa=X&oi=book_result&ct=result&resnum=11&ved=0CCcQ6AEwCg#v=onepage&q=&f=false.
- Franz Baader, Andreĭ Voronkov, ed. (2005). Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. ISBN 978-3-540-25236-8. http://books.google.com/books?id=ydGx67J3jFoC&printsec=frontcover&dq=Franz+Baader&source=bl&ots=4jtN-g68ly&sig=g8oKkR-0RCF3_4Zs2ge4xGemH-M&hl=en&ei=bvmGS6bEGsaPtgeckLC0DQ&sa=X&oi=book_result&ct=result&resnum=16&ved=0CDUQ6AEwDw#v=onepage&q=&f=false.
Read more about this topic: Franz Baader
Famous quotes containing the word works:
“Any balance we achieve between adult and parental identities, between children’s and our own needs, works only for a time—because, as one father says, “It’s a new ball game just about every week.” So we are always in the process of learning to be parents.”
—Joan Sheingold Ditzion, Dennie, and Palmer Wolf. Ourselves and Our Children, by Boston Women’s Health Book Collective, ch. 2 (1978)
“I look on trade and every mechanical craft as education also. But let me discriminate what is precious herein. There is in each of these works an act of invention, an intellectual step, or short series of steps taken; that act or step is the spiritual act; all the rest is mere repetition of the same a thousand times.”
—Ralph Waldo Emerson (1803–1882)
“I know no subject more elevating, more amazing, more ready to the poetical enthusiasm, the philosophical reflection, and the moral sentiment than the works of nature. Where can we meet such variety, such beauty, such magnificence?”
—James Thomson (1700–1748)