Freq.	Weight	Association
2	2	Andreas Franke - Michael Kohlhase
1	1	Jürgen Zimmer - Tobias Müller
1	1	Jürgen Zimmer - Michael Kohlhase
1	1	Erica Melis - Tobias Müller
1	1	Erica Melis - Jürgen Zimmer

Documents par ordre de pertinence

000172 (2000)	Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne]	Integrating Constraint Solving into Proof Planning
000154 (2002)	Jürgen Zimmer [Allemagne] ; Michael Kohlhase [États-Unis]	System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning
000166 (2001)	Michael Kohlhase [États-Unis] ; Andreas Franke [Allemagne]	MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
000179 (1999)	Andreas Franke [Allemagne] ; Michael Kohlhase [Allemagne]	System Description: MathWeb , an Agent-Based Communication Layer for Distributed Automated Theorem Proving
000123 (2006)	Michael Kohlhase [Allemagne]	OMDoc Applications and Projects
000171 (2000)	Tobias Müller [Allemagne]	Promoting Constraints to First-Class Status
000176 (2000)	Tobias Müller [Allemagne]	Practical Investigation of Constraints with Graph Views
000184 (1999)	Erica Melis [Allemagne] ; Jörg Siekmann [Allemagne]	Knowledge-based proof planning

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

	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.