Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

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 pages:

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 mehrere Seiten).
the page of our DISCOUNT system for distributed equational deduction.
a complete bibliography of our works about teamwork.
a list of persons that are or were involved in the project.
a list of links of interest.

If you have questions, problems or suggestions send email to denzinge@informatik.uni-kl.de

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

Letzte Änderung: Wednesday, 26-Oct-05 08:59:21 GMT
www-aven@informatik.uni-kl.de

Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

The Teamwork Method forKnowledge-Based Distributed Search

Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

The Teamwork Method for
Knowledge-Based Distributed Search