227 Infos zu Claus Zinn

11 Aktuelle Nachrichten

Dr. Claus Zinn. Ehemaliger Mitarbeiter. E-Mail: Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! ©

CLARIN-D: Common Language Resources and Technology Infrastructure Deutschland, eine web- und zentrenbasierte Forschungsinfrastruktur für die Geistes- und...

DINI

Publications. Scientific Papers / Talks Peter Withers, Peter Wittenburg and Claus Zinn: A Data Category Registry- and Component-based Metadata Framework.

1  Bilder zu Claus Zinn

16 Profile in Sozialen Netzwerken

StayFriends - Schulfreunde wiederfinden

StayFriends - Schulfreunde wiederfinden

berufliche Netzwerk, das Fach- und Führungskräften wie Claus Zinn dabei hilft, interne ...

上领英，在全球领先职业社交平台查看Claus Zinn的职业档案。Claus的职业档案列出了8 个职位。查看Claus的完整档案，结识职场人脉和查看相似公司的职位。

9 Firmen-Mitarbeiter

Other papers, work in progress. Claus Zinn, Herbert Stoyan, Checking textbook proofs, Submitted to ECAI-98. The underlying idea, pattern matching instead of fully ...

Publications. Claus Zinn, Wolfgang Jaksch, Basic Properties of Functor Structures, Journal of Formalized Mathematics, Volume 8, 1996, Warsaw University, Bialystok.

CURRICULUM. VITAE. Claus Zinn. Am Weichselgarten Erlangen-Tennenlohe. Germany. Phone: + Fax: +

Claus Zinn. I am interested to participate in the workshop. Strategies in Automated Deduction. In the sequel, I describe my interests. In the past there has been much work on proof checkers based on formal languages. But is it. feasible to construct a system capable of automatically scanning a mathematical textbook proof.

1 Persönliche Webseiten

C. Zinn. Program analysis and manipulation to reproduce learner's erroneous reasoning, Proceedings of the 22nd International Symposium of Logic-Based Program ...

2 Angaben zur Herkunft

Gerhard Kraetzschmar: Friedrich-Alexander-Universität Erlangen-Nürnberg: 1996: 1: Claus Zinn: Friedrich-Alexander-Universität Erlangen-Nürnberg: 2004

2 Projekte

More Automatic Diagnosis of Arithmetic Errors Proposer: Alan Bundy.uk Self-Proposed: No Other Suggested Supervisors: Claus Zinn, John

Other Suggested Supervisors: Claus Zinn Subject Areas: AI and Education, Suitable for the following degrees: MSc in Informatics, MSc in Artificial Intelligence, MSc in

32 Bücher zum Namen

Hier finden Sie das komplette Autorenprofil von Claus Zinn . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle Werke.

Papers by Claus Zinn with links to code and results.

Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming Claus Zinn Dept. of Linguistics University of Tübingen ...

Gewicht: 22,5 Schmelzpunkt: etwa 2500° C. Ruthenium Spez. Gewicht: 12,26 Schmelzpunkt: etwa 2500° C. H Claus Zinn I Gegossene Metalle Claus Zinn.

11 Dokumente

Multilingual Resources and Multilingual Applications Proceedings of the Conference of the German Society for ... Christina Hoppermann, Thorsten Trippel, Claus Zinn

Managing Linguistic Resources by Enriching Their Metadata with Linked Data Christina Hoppermann, Thorsten Trippel, and Claus Zinn Dept. of Linguistics, ...

Slide 1OAEI 2007: Library Track Results Antoine Isaac, Lourens van der Meij, Shenghui Wang, Henk Matthezing Claus Zinn, Stefan Schlobach, Frank van Harmelen...

This is the portal of CLARIN-D - the research infrastructure for the humanities and social sciences working with language resources.

40 Wissenschaftliche Publikationen

· Claus Zinn, Christina Hoppermann, Thorsten Trippel. The linguistics community is building a metadata-based infrastructure for the ...

Dr.-Ing. Claus Zinn. Als Antragsteller laufende Projekte. Deep cognitive diagnosis in intelligent tutoring systems in the framework of logic programming and.

Claus Zinn. Pages : Download PDF. Article preview. select article Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) ...

Henk Matthezing. Koninklijk Bibliotheek, The Hague, The Netherlands, and. Claus Zinn. Max-Planck Institute for Psycholinguistics, Nijmegen, The Netherlands.

11 Allgemeine Veröffentlichungen

Claus Zinn. Conference paper Accesses. 2 Citations. Part of the Lecture Notes in Computer Science book series (LNAI,volume 8077) ...

Publications. Putting ontology alignment in context: usage scenarios, deployment and evaluation in a library case. This data has been imported ...

Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems. Authors; Authors and affiliations. Claus Zinn. Claus Zinn.

(Bildungsverlag Lemberger, Mozaik), Dr. Claus Zinn (Universität Konstanz) 7 Runde Tische zu den verschiedenen Aspekten digitalen Lernens und Connected Kids. Zum …

2 Meinungen & Artikel

, Article 4; Page 4. (pdf version); "Bootstrapping a Semantic Wiki Application for Learning Mathematics" by Claus Zinn. "Beyond Difference: Reconfiguring ...

"Bootstrapping a Semantic Wiki Application for Learning Mathematics" by Claus Zinn. "Beyond Difference: Reconfiguring Education for the User-Led Age" by Axel Bruns

86 Webfunde aus dem Netz

Claus Zinn. University of Konstanz. Computer Science - Linguistics - eScience. Vahvistettu sähköpostiosoite verkkotunnuksessa uni-konstanz.de. Kotisivu ...

This "Cited by" count includes citations to the following articles in Scholar. The ones marked * may be different from the article in the profile.

‪University of Tuebingen‬ - ‪‪ navedb‬‬ - ‪Computer Science‬ - ‪Linguistics‬ - ‪eScience‬

LEXUS and ViCoS: Introduction and hands-on Jacquelijn Ringersma LEXUS and ViCoS developers are: Huib Verweij, Marc Kemps-Snijders, Claus Zinn, Andre Moreira.

Download apps by Claus Zinn, including Lehrer Lämpel: Basic Arithmetic, Lehrer Lämpel: Training Camp, Lehrer Lämpel: Math Bundle, and many more.

‪University of Twente‬ - ‪‪Geciteerd door ‬‬ - ‪Semantic Embedding‬ - ‪Text Mining‬ - ‪Semantic Web‬ - ‪Social Networks‬ - ‪Ontology Matching‬

OAEI 2007: Results from the Library Track Introduction Ontology alignment can help Semantic links between ontology elements o1:Cat owl:equivalentClass o2:Chat...

Download iPhone and iPad apps by Claus Zinn, including Lehrer Lämpel Training Camp, Lehrer Lämpel Math Bundle, MathPyramids and many more.

Using SW techniques for CH data

Claus Zinn LDL Workshop at LREC May , Portorož (Slovenia).

Feiern Sie Weihnachten im Juli, Weihnachten oder Weihnachten das ganze Jahr über mit diesem einzigartigen rot-weißen Streifen Santa Zinn! Maße ca. 7 x 5.5,...

CLARIN Metadata Infrastructure Component Metadata and intermediate solutions Daan Broeder Claus Zinn Dieter van Uytvanck - Max-Planck Institute for ...

Santa Claus Zehenspitzen seine Magie in eine umlaufende Szene während drei jungen Gläubigen Traum durchführen. Eine charmante 1980er Jahren-Heiligabend spielte...

Name Authority

Servieren Sie einige Weihnachtsplätzchen dieser kommenden Urlaubssaison. Genial-Fach mit Weihnachtsmann und Rentier bunt ist! Jeder wird es lieben! DHAHER...

Bewertung 5,0 (11) · 4,45 € · Auf LagerFestival Weihnachten Santa Claus Zinn Zeichen Vintage Metall Poster Küche Home Schlafzimmer Wand Kunst Dekor Weißblech Zeichen Plaques,Kaufen Sie von ... Bewertung 5,0 (11) · 4,45 € · Auf Lager Festival Weihnachten Santa Claus Zinn Zeichen Vintage Metall Poster Küche Home Schlafzimmer Wand Kunst Dekor Weißblech Zeichen Plaques,Kaufen Sie von ...

Bewertung 4,9 (1.390) · 38,24 € · Nicht auf LagerSALE SALE Vintage Prinz Albert Tabak Dose, Santa Claus Zinn, Vintage Prinz Albert Christmas Zinn,. Verkauft. Artikeldetails ansehen · Artikeldetails ansehen ... Bewertung 4,9 (1.390) · 38,24 € · Nicht auf Lager SALE SALE Vintage Prinz Albert Tabak Dose, Santa Claus Zinn, Vintage Prinz Albert Christmas Zinn,. Verkauft. Artikeldetails ansehen · Artikeldetails ansehen ...

‎Lade Apps von Claus Zinn, unter anderem Lehrer Lämpel: Schriftliches Rechnen, Lehrer Lämpel: Trainingskurs, Lehrer Lämpel: Math Bundle und viele mehr.

The BE&E Tutorial Learning Environment (BEETLE) Claus Zinn, Johanna D. Moore, Mark G. Core, Sebastian Varges, and Ka´ska Porayska-Pomsta School of Informatics, University of Edinburgh ✁ 2 Buccleuch Place, Edinburgh EH8 9LW, UK ✁ ✁ ✁ [zinn jmoore markc varges .ac.uk Abstract We describe ...

Home · Browse Lectures · People · Conferences · Academic Organisations · EU Supported · About Us · Claus Zinn ...