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:
“In all Works of This, and of the Dramatic Kind, STORY, or AMUSEMENT, should be considered as little more than the Vehicle to the more necessary INSTRUCTION.”
—Samuel Richardson (1689–1761)
“Night and Day ‘ve been tampered with,
Every quality and pith
Surcharged and sultry with a power
That works its will on age and hour.”
—Ralph Waldo Emerson (1803–1882)
“I divide all literary works into two categories: Those I like and those I don’t like. No other criterion exists for me.”
—Anton Pavlovich Chekhov (1860–1904)