Jürgen Avenhaus und Jörg Denzinger - Info zur Person

(1 - 7 von 7

)

SCEAS

sceas.csd.auth.gr

Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin Combining Parallel and Distributed Search in Automated Equational Deduction. [Citation ...

Handbook of Parallel Constraint Reasoning - Google Books

books.google.de

Jürgen Avenhaus and Jörg Denzinger. Distributing equational theorem proving. In Claude Kirchner, editor, Proceedings of the Fifth International Conference on ...

Alle Infos zum Namen "Jürgen Avenhaus"

AG Avenhaus - ForscherInnen | SciPort RLP

www.rlp-forschung.de

Prof. Dr. rer. nat. Jürgen Avenhaus. Leiter (AG Avenhaus) Dr. Jörg Denzinger. Mitarbeiter/in (AG Avenhaus) Fragen? Anregungen? Lob oder Kritik? × . Haben Sie Fragen, einen Fehler gefunden oder einen Vorschlag wie wir SciPort verbessern können? Dann se ...

Verwandte Suchanfragen zu Jürgen Avenhaus

Aart Middeldorp
Claude Kirchner
Theo Härder

Wolfgang Küchlin
Jörg Denzinger
Carsten Sinz

Reinhard Gotzhein
Norbert Ritter
Thomas Hillenbrand

Personen
Vorname "Jürgen" (57107)
Name "Avenhaus" (20)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Jürgen Avenhaus und Jörg Denzinger Person-Info

SCEAS

Handbook of Parallel Constraint Reasoning - Google Books

Alle Infos zum Namen "Jürgen Avenhaus"

AG Avenhaus - ForscherInnen | SciPort RLP

CiteSeerX — Combining Parallel and Distributed Search in Automated...

OUCI

CiteSeerX — Teamwork-PaReDuX: Knowledge-based search with multiple...

Abstract