Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la musique en Sarre

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 Andreas Meier - Volker Sorge

Terms

2Andreas Meier
3Volker Sorge
4Christoph Benzmüller
2Jörg Siekmann

Associations

Freq.WeightAssociation
20.816Andreas Meier - Volker Sorge
20.707Christoph Benzmüller - Jörg Siekmann
20.577Christoph Benzmüller - Volker Sorge
Documents par ordre de pertinence
000C07 (2002) Jörg Siekmann [Allemagne] ; Christoph Benzmüller [Allemagne] ; Vladimir Brezhnev [Allemagne] ; Lassaad Cheikhrouhou [Allemagne] ; Armin Fiedler [Allemagne] ; Andreas Franke [Allemagne] ; Helmut Horacek [Allemagne] ; Michael Kohlhase [Allemagne] ; Andreas Meier [Allemagne] ; Erica Melis [Allemagne] ; Markus Moschner [Allemagne] ; Immanuel Normann [Allemagne] ; Martin Pollet [Allemagne] ; Volker Sorge [Allemagne] ; Carsten Ullrich [Allemagne] ; Claus-Peter Wirth [Allemagne] ; Jürgen Zimmer [Allemagne]Proof Development with Ω mega
000A52 (2004) Jörg Siekmann [Allemagne] ; Christoph Benzmüller [Allemagne]Ω mega : Computer Supported Mathematics
000C09 (2002) Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Simon Colton [Royaume-Uni]Employing Theory Formation to Guide Proof Planning
000C93 (2001) Christoph Benzmüller [Allemagne] ; Manfred Kerber [Royaume-Uni] ; Mateja Jamnik [Royaume-Uni] ; Volker Sorge [Allemagne]Experiments with an Agent-Oriented Reasoning System
000870 (2007) Mark Buckley [Allemagne] ; Christoph Benzmüller [Allemagne]An Agent-Based Architecture for Dialogue Systems
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Sun Jul 15 18:16:09 2018. Site generation: Tue Mar 5 19:21:25 2024