The Teamwork Method for
Knowledge-Based Distributed Search
The teamwork method is an approach for the knowledge-based distribution
of certain search processes. For more information we offer the following
- a, hopefully easy understandable, introduction
of the problems and our solution: teamwork
(this is a kind of
guided tour through several pages).
- eine hoffentlich allgemein verständliche
Einführung in die
Probleme und unsere Lösung: teamwork
(eine Führung durch
- the page of our DISCOUNT system for
distributed equational deduction.
- a complete bibliography of our works about
- a list of persons that are or were involved in
- a list of links of interest.
If you have questions, problems or suggestions send email to