Vertrag über Bau-Abnahme, Technische Teilabnahme , Teilabnahme Gewerke Der Auftraggeber (nachfolgend „AG“) vertreten durch erteilt dem Sachverständigenbüro Thorsten Leffeck, Am Kurgarten 76 in[removed]Sinzig, (nach

Source URL: www.leffeck.de

Vertrag über die Erstellung eines Sachverständigengutachtens (Gutachtenauftrag) Der Auftraggeber (nachfolgend „AG“) vertreten durch erteilt dem Sachverständigenbüro Thorsten Leffeck, Am Kurgarten 76 in[removed]Sin

Source URL: www.leffeck.de

Vertrag über die Erstellung einer Wertermittlung eines bebauten Grundstückes Der Auftraggeber (nachfolgend „AG“) vertreten durch erteilt dem Sachverständigenbüro Thorsten Leffeck, Am Kurgarten 76 in[removed]Sinzig

Source URL: www.leffeck.de

Cover: Thorsten Bleich Titel:

Source URL: www.organum-classics.de

76 Reise Text & Fotos Thorsten Brönner

Source URL: www.thorstenbroenner.de

Das TopTrio Auf der ersten Weltmeisterschaft für Jongleure in Las Vegas sind Thorsten Barucha und Philip Prochnow zweimal dritter geworden. Jetzt wollen Sie noch höher hinaus. Ihr neues Ziel: einmal zu dritt Zweiter

Source URL: www.duo-catchup.de

Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods Thorsten Liebig and Stephan Scheele and Julian Lambertz Ulm University, D[removed]Ulm, Germany {thorsten.liebig|stephan.scheele|julian.lambertz}@uni

Source URL: www.ceur-ws.org

• Knowledge engineering
• Knowledge
• Science
• Information
• Ontology
• Abductive reasoning
• Semantic reasoner
• Semantic Web
• Knowledge representation
• Reasoning

A Categorical Semantics for Inductive-Inductive Definitions Thorsten Altenkirch1 ✍ , ✍✍ , Peter Morris1 ✍✍ , Fredrik Nordvall Forsberg2 ✍ , and

Source URL: www.cs.swan.ac.uk

Generic Programming with Dependent Types Thorsten Altenkirch, Conor McBride and Peter Morris School of Computer Science and Information Technology

Source URL: www.cs.nott.ac.uk

• Type theory
• Functional languages
• Procedural programming languages
• Epigram
• Logic in computer science
• Formal methods
• Generic programming
• Proj construction
• Type system
• Software engineering
• Programming language theory
• Computing

Derivatives of Containers Michael Abbott1 , Thorsten Altenkirch2, Neil Ghani1 , and Conor McBride3 1

Source URL: www.cs.nott.ac.uk

• Functors
• Cartesian closed category
• Limit
• Universal property
• Natural transformation
• Sheaf
• Full and faithful functors
• Initial and terminal objects
• Product
• Category theory
• Abstract algebra
• Mathematics