Frederick King Weyerhaeuser, eldest male of the Weyerhaeuser lumbering family's third generation, may not have matched his grandfather Frederick in fame or power, but among the progeny none was more widely known and respected -- and, within the family, loved -- than he was. How his talents and dedication helped make the Weyerhaeuser name synonymous with the lumbering industry and the clan one of the closest knit in the country is the book's focus.

The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.

This is the first systematic exposition of random sets theory since Matheron (1975), with full proofs, exhaustive bibliographies and literature notes Interdisciplinary connections and applications of random sets are emphasized throughout the book An extensive bibliography in the book is available on the Web at http://liinwww.ira.uka.de/bibliography/math/random.closed.sets.html, and is accompanied by a search engine

This book constitutes the refereed proceedings of the 1998 International Conference on Analytic Tableaux and Related Methods, TABLEAUX'98, held in Oisterwijk near Tilburg, The Netherlands, in May 1998. The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.