Solving Higher-Order Equations Förderungs- und Betriebs GmbH Operationalisierung und Messung im Rahmen

Operationalisierung und Messung im Rahmen des Electronic Commerce

Bernhard / Seelig

da der Sage nach der Religionsgründer Mohammed vom Felsendom aus mit seinem geflügelten Streitross Buraq in den Himmel geritten war2

Due to its depth and breadth of the coverage and the usefulness of the techniques and applications

Solving Higher-Order Equations Förderungs- und Betriebs GmbH Operationalisierung und Messung im RahmenThis monograph develops techniques for equational reasoning in higher order logic. Due to its expressiveness, higher order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher order logic provides the necessary level of abstraction for con cise and natural formulations. The main assets of higher order logic are quan tification over functions or predicates and its abstraction mechanism.