News
Dr. Claus Zinn
www.sfs.uni-tuebingen.de
Dr. Claus Zinn. Ehemaliger Mitarbeiter. E-Mail: Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! ©
Aktuelles
clarin02.ims.uni-stuttgart.de
CLARIN-D: Common Language Resources and Technology Infrastructure Deutschland, eine web- und zentrenbasierte Forschungsinfrastruktur für die Geistes- und...
Deutsche Sprachressourcen-Infrastruktur D-SPIN
weblicht.sfs.uni-tuebingen.de
Publications. Scientific Papers / Talks Peter Withers, Peter Wittenburg and Claus Zinn: A Data Category Registry- and Component-based Metadata Framework.
Netzwerk-Profile
LinkedIn: Claus Zinn | LinkedIn
berufliche Netzwerk, das Fach- und Führungskräften wie Claus Zinn dabei hilft,
interne ...
LinkedIn: Claus Zinn - 博士后研究员- University of Tuebingen | 领英 - LinkedIn
上领英，在全球领先职业社交平台查看Claus Zinn的职业档案。Claus的职业档案列出了8 个职位。查看Claus的完整档案，结识职场人脉和查看相似公司的职位。
Firmen-Mitarbeiter
Personal data file for Claus Zinn
wwwdh.informatik.uni-erlangen.de
Other papers, work in progress. Claus Zinn, Herbert Stoyan, Checking textbook proofs, Submitted to ECAI-98. The underlying idea, pattern matching instead of fully ...
Personal data file for Claus Zinn
wwwdh.cs.fau.de
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
wwwdh.cs.fau.de
CURRICULUM. VITAE. Claus Zinn. Am Weichselgarten Erlangen-Tennenlohe. Germany. Phone: + Fax: +
Statement of interest Claus Zinn
wwwdh.cs.fau.de
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.
Private Homepages
Claus Zinn - zinnwerk consulting
www.zinnwerk.com
C. Zinn. Program analysis and manipulation to reproduce learner's erroneous reasoning, Proceedings of the 22nd International Symposium of Logic-Based Program ...
Herkunft
Herbert Stoyan - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Gerhard Kraetzschmar: Friedrich-Alexander-Universität Erlangen-Nürnberg: 1996: 1: Claus Zinn: Friedrich-Alexander-Universität Erlangen-Nürnberg: 2004
Projekte
More Automatic Diagnosis of Arithmetic Errors
sweb.inf.ed.ac.uk
More Automatic Diagnosis of Arithmetic Errors Proposer: Alan Bundy.uk Self-Proposed: No Other Suggested Supervisors: Claus Zinn, John
Even More Automatic Diagnosis of Arithmetic Errors
sweb.inf.ed.ac.uk
Other Suggested Supervisors: Claus Zinn Subject Areas: AI and Education, Suitable for the following degrees: MSc in Informatics, MSc in Artificial Intelligence, MSc in
Bücher
Claus Zinn | Autorenprofil und Werke | beck-shop.dewww.beck-shop.de › Claus Zinn
www.beck-shop.de
Hier finden Sie das komplette Autorenprofil von Claus Zinn . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle Werke.
Claus Zinn | Papers With Code
paperswithcode.com
Papers by Claus Zinn with links to code and results.
Functional and Constraint Logic Programming: 20th International...
books.google.de
Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming Claus Zinn Dept. of Linguistics University of Tübingen ...
Gegossene Metalle und Legierungen: Grundlagen der ...books.google.com › books
books.google.de
Gewicht: 22,5 Schmelzpunkt: etwa 2500° C. Ruthenium Spez. Gewicht: 12,26 Schmelzpunkt: etwa 2500° C. H Claus Zinn I Gegossene Metalle Claus Zinn.
Dokumente zum Namen
Multilingual Resources and Multilingual Applications
exmaralda.org
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...
www.pdfsearch.io
Managing Linguistic Resources by Enriching Their Metadata with Linked Data Christina Hoppermann, Thorsten Trippel, and Claus Zinn Dept. of Linguistics, ...
OAEI 2007: Library Track Results Antoine Isaac, Lourens van der Meij,...
vdocuments.mx
Slide 1OAEI 2007: Library Track Results Antoine Isaac, Lourens van der Meij, Shenghui Wang, Henk Matthezing Claus Zinn, Stefan Schlobach, Frank van Harmelen...
Documents
www.clarin-d.net
This is the portal of CLARIN-D - the research infrastructure for the humanities and social sciences working with language resources.
Wissenschaftliche Veröffentlichungen
The ISOcat registry reloaded - OPUS 4ids-pub.bsz-bw.de › index › index › year › docId
ids-pub.bsz-bw.de
· Claus Zinn, Christina Hoppermann, Thorsten Trippel. The linguistics community is building a metadata-based infrastructure for the ...
Dr.-Ing. Claus Zinn - Gepris - DFG
gepris.dfg.de
Dr.-Ing. Claus Zinn. Als Antragsteller laufende Projekte. Deep cognitive diagnosis in intelligent tutoring systems in the framework of logic programming and.
Journal of Applied Logic | Towards Computer Aided Mathematicswww.sciencedirect.com › journal › vol › issue
www.sciencedirect.com
Claus Zinn. Pages : Download PDF. Article preview. select article Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) ...
Integrated access to cultural heritage resources through represen...:...
www.ingentaconnect.com
Henk Matthezing. Koninklijk Bibliotheek, The Hague, The Netherlands, and. Claus Zinn. Max-Planck Institute for Psycholinguistics, Nijmegen, The Netherlands.
Veröffentlichungen allgemein
Algorithmic Debugging for Intelligent Tutoring: How to Use Multiple ...link.springer.com › chapter
link.springer.com
Claus Zinn. Conference paper Accesses. 2 Citations. Part of the Lecture Notes in Computer Science book series (LNAI,volume 8077) ...
Claus Zinn - semanticweb.org.edusemanticweb.org/wiki/Claus_Zinn.html
semanticweb.org
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...
link.springer.com
Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems. Authors; Authors and affiliations. Claus Zinn. Claus Zinn.
Programm
www.schulpartner.info
(Bildungsverlag Lemberger, Mozaik), Dr. Claus Zinn (Universität Konstanz) 7 Runde Tische zu den verschiedenen Aspekten digitalen Lernens und Connected Kids. Zum …
Artikel & Meinungen
Wikipedia: വിക്കിവേഴ്സിറ്റി - വിക്കിപീഡിയ
, Article 4; Page 4. (pdf version); "Bootstrapping a Semantic Wiki Application for Learning Mathematics" by Claus Zinn. "Beyond Difference: Reconfiguring ...
Wikipedia: Wikiversity - Wikipedia
"Bootstrapping a Semantic Wiki Application for Learning Mathematics" by Claus Zinn. "Beyond Difference: Reconfiguring Education for the User-Led Age" by Axel Bruns
Sonstiges
Claus Zinn - Google Scholar -sitaatit
scholar.google.co.uk
Claus Zinn. University of Konstanz. Computer Science - Linguistics - eScience. Vahvistettu sähköpostiosoite verkkotunnuksessa uni-konstanz.de. Kotisivu ...
Claus Zinn - Google Scholar Citations
scholar.google.de
This "Cited by" count includes citations to the following articles in Scholar. The ones marked * may be different from the article in the profile.
Claus Zinn - Google Učenjak
scholar.google.si
University of Tuebingen - navedb - Computer Science - Linguistics - eScience
LEXUS and ViCoS: Introduction and hands-on Jacquelijn Ringersma LEXUS...
slideplayer.com
LEXUS and ViCoS: Introduction and hands-on Jacquelijn Ringersma LEXUS and ViCoS developers are: Huib Verweij, Marc Kemps-Snijders, Claus Zinn, Andre Moreira.
Claus Zinn Apps on the App Store - Appleapps.apple.com › artist › claus-zinn
apps.apple.com
Download apps by Claus Zinn, including Lehrer Lämpel: Basic Arithmetic, Lehrer Lämpel: Training Camp, Lehrer Lämpel: Math Bundle, and many more.
Shenghui Wang 王胜惠 - Google Scholar
scholar.google.nl
University of Twente - Geciteerd door - Semantic Embedding - Text Mining - Semantic Web - Social Networks - Ontology Matching
The Value of Usage Scenarios for Thesaurus Alignment in Cultural...
slideplayer.com
OAEI 2007: Results from the Library Track Introduction Ontology alignment can help Semantic links between ontology elements o1:Cat owl:equivalentClass o2:Chat...
Claus Zinn Apps on the App Store
apps.apple.com
Download iPhone and iPad apps by Claus Zinn, including Lehrer Lämpel Training Camp, Lehrer Lämpel Math Bundle, MathPyramids and many more.
A web-based repository service for vocabularies and alignments in the...
slideplayer.com
Using SW techniques for CH data
Enhancing the Quality of Metadata by using Authority Control Thorsten...
slideplayer.com
Claus Zinn LDL Workshop at LREC May , Portorož (Slovenia).
Jahrgang Santa Claus Zinn - Etsy Schweiz
www.etsy.com
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,...
Max-Planck Institute for Psycholinguistics. - ppt download - SlidePlayerslideplayer.com › slide
slideplayer.com
CLARIN Metadata Infrastructure Component Metadata and intermediate solutions Daan Broeder Claus Zinn Dieter van Uytvanck - Max-Planck Institute for ...
Vintage Santa Claus Zinn Hunkydory St.Nikolaus Box Laura | Etsy
www.etsy.com
Santa Claus Zehenspitzen seine Magie in eine umlaufende Szene während drei jungen Gläubigen Traum durchführen. Eine charmante 1980er Jahren-Heiligabend spielte...
Laura Waugh University of North Texas 16 th International Symposium...
slideplayer.com
Name Authority
Vintage DAHER Weihnachten Santa Claus Zinn Schale - Etsy.de
www.etsy.com
Servieren Sie einige Weihnachtsplätzchen dieser kommenden Urlaubssaison. Genial-Fach mit Weihnachtsmann und Rentier bunt ist! Jeder wird es lieben! DHAHER...
Festival Weihnachten Santa Claus Zinn Zeichen Vintage Metall ...de.aliexpress.com › ... › Wohnungseinrichtung › Tafeln & Schilder
de.aliexpress.com
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 ...
SALE SALE Vintage Prinz Albert Tabak Dose Santa Claus Zinn - Etsywww.etsy.com › listing › sale-sale-vintage-prinz-albert-tabak
www.etsy.com
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 ...
Apps von Claus Zinn im App Store
apps.apple.com
Lade Apps von Claus Zinn, unter anderem Lehrer Lämpel: Schriftliches Rechnen, Lehrer Lämpel: Trainingskurs, Lehrer Lämpel: Math Bundle und viele mehr.
(PDF) The BE&E tutorial learning environment (BEETLE) | Claus Zinn -...
www.academia.edu
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 ...
Claus Zinn - Department of Linguistics, University of Tübingenvideolectures.net › claus_zinn
videolectures.net
Home · Browse Lectures · People · Conferences · Academic Organisations · EU Supported · About Us · Claus Zinn ...
sortiert nach Relevanz / Datum