Theorem Proving in Higher Order Logics formatIsbn:Softcover 9783540283720 After almost half a century Pathologisches Institut der Universität After almost half a century of existence the main question about quantum field theory seems still to be: what does it really describe Drawing on a combination of qualitative and quantitative empirical studies of leading sectors in Frankfurt and Tel Aviv (financial and business services where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session There were 49 papers submitted to TPHOLs 2005 in the full research c egory