Serveur d'exploration sur Mozart

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Le cluster planning - proof

Terms

2planning
2proof
2style
3knowledge
2integrating
4early
2late
2century

Associations

Freq.WeightAssociation
22planning - proof
11knowledge - style
11knowledge - proof
11knowledge - planning
11integrating - proof
11integrating - planning
22early - late
22century - early
11early - style
11early - knowledge
11century - late

Documents par ordre de pertinence
000070 (2009-02-03) Norbert Lennartz [Allemagne]“I want a hero …” – Deconstructions of the Hero in Late 19th- and Early 20th-Century British and Irish Fiction
000172 (2000) Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne]Integrating Constraint Solving into Proof Planning
000180 (1999) Mathis Löthe [Allemagne]Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style
000184 (1999) Erica Melis [Allemagne] ; Jörg Siekmann [Allemagne]Knowledge-based proof planning
000011 (2014) Yakun Xie [Allemagne] ; Kerstin Huhn [Allemagne] ; Ronny Brandt [Allemagne] ; Maren Potschin [Allemagne] ; Stefan Bieker [Allemagne] ; Daniel Straub [Allemagne, Danemark] ; Jasmin Doll [Allemagne] ; Thomas Drechsler [Allemagne] ; Ulrike Zentgraf [Allemagne] ; Stephan Wenkel [Allemagne, Danemark]REVOLUTA and WRKY53 connect early and late leaf development in Arabidopsis
000177 (2000) A. Erfurth ; P. Hoff [Allemagne]Mad scenes in early 19th‐century opera
000013 (2014) H-J Möller [Allemagne]Do features of Mozart's letter-writing style indicate the presence of a neuropsychiatric disorder? Controversies about the Bäsle letters.
000155 (2002) Serge Autexier [Allemagne] ; Till Mossakowski [Allemagne]Integrating HOL - CASL into the Development Graph Manager MAYA
000166 (2001) Michael Kohlhase [États-Unis] ; Andreas Franke [Allemagne]MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems

Wicri

This area was generated with Dilib version V0.6.20.
Data generation: Sun Apr 10 15:06:14 2016. Site generation: Tue Feb 7 15:40:35 2023