This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.
Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna, Austria, in November 1998. The contributed papers reflect the current status in research in the...

Zum 70. Geburtstag unseres verehrten Lehrers freuen wir uns, uber einen Teil seines Lebenswerkes berichten zu konnen, und wollen damit unserem Dank fur alles, was wir in langjahriger Arbeit an seiner Klinik lernen durften, Ausdruck geben. Schon wahrend seiner Assistentenzeit an der Klinik E i s e l s b e wandte r g D e n k sein Interesse der Thoraxchirurgie in besonderem Masse zu, die er seither in Osterreich zum Erfolg fuhrte. Zahlreiche seiner Schuler, die er im Laufe seiner jahrzehntelangen Tatigkeit als klinischer Lehrer herangebildet hat, sind heute als Thoraxchirurgen in leitender...