Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Prof. Dr. rer. nat. Jürgen Avenhaus

Informatik (RPTU in Kaiserslautern), Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau

Raum: 34/412
  • 0631/205-2633
  • 0631/205-3558
Forschungsprojekte

1996 - 1998

Lernen von Suchheuristiken beim Theorembeweisen

Entwicklung des hierarchischen parallelen Termersetzungssystems Teamwork-PaReDux