Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings

Mit dem Inkrafttreten des Transplantationsgesetzes ist auch die Vergabepraxis der Spenderorgane auf eine neue rechtliche Grundlage gestellt worden. Der Tagungsband enthält in der für die Einbecker Empfehlungen gewohnten Weise Vorgaben für die Erstellung der nach dem Transplantationsgesetz geforderten Richtlinien. Die Beiträge geben zugleich den gegenwärtigen medizinischen und juristischen Kenntnisstand der Materie wieder.Bertot, Yves is the author of 'Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings', published 1999 under ISBN 9783540664635 and ISBN 3540664637.