Freq.	Weight	Association
2	2	Christoph Benzmüller - Volker Sorge
2	2	Christoph Benzmüller - Jörg Siekmann
2	2	Andreas Meier - Volker Sorge
1	1	Manfred Kerber - Volker Sorge
1	1	Jörg Siekmann - Volker Sorge
1	1	Helmut Horacek - Volker Sorge
1	1	Helmut Horacek - Jörg Siekmann
1	1	Erica Melis - Volker Sorge
1	1	Erica Melis - Manfred Kerber
1	1	Erica Melis - Jörg Siekmann
1	1	Erica Melis - Helmut Horacek
1	1	Christoph Benzmüller - Manfred Kerber
1	1	Christoph Benzmüller - Helmut Horacek
1	1	Christoph Benzmüller - Erica Melis
1	1	Andreas Meier - Jörg Siekmann
1	1	Andreas Meier - Helmut Horacek
1	1	Andreas Meier - Erica Melis
1	1	Andreas Meier - Christoph Benzmüller

Documents par ordre de pertinence

000219 (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
000229 (2001)	Christoph Benzmüller [Allemagne] ; Manfred Kerber [Royaume-Uni] ; Mateja Jamnik [Royaume-Uni] ; Volker Sorge [Allemagne]	Experiments with an Agent-Oriented Reasoning System
000199 (2004)	Jörg Siekmann [Allemagne] ; Christoph Benzmüller [Allemagne]	Ω mega : Computer Supported Mathematics
000221 (2002)	Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Simon Colton [Royaume-Uni]	Employing Theory Formation to Guide Proof Planning
000267 (1996)	Manfred Kerber [Royaume-Uni] ; Erica Melis [Allemagne]	Two kinds of non-monotonic analogical inference
000161 (2007)	Mark Buckley [Allemagne] ; Christoph Benzmüller [Allemagne]	An Agent-Based Architecture for Dialogue Systems
000271 (1996)	Helmut Horacek [Allemagne]	On expressing metonymic relations in multiple languages

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

	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.