Jürgen Avenhaus - Wissenschaftliche Veröffentlichungen

(1 - 19 von 22

)

DFG - GEPRIS - Professor Dr. Jürgen Avenhaus

gepris.dfg.de

Professor Dr. Jürgen Avenhaus, Fachbereich Informatik, Post Office Box 3049, Kaiserslautern

dblp: RTA 1995

dblp.uni-trier.de

Bibliographic content of RTA 1995

KLUEDO | Advances in Equational Theorem Proving - Architecture,...

kluedo.ub.uni-kl.de

Automated theorem proving is a search problem and, by its undecidability, a very difficult one. The challenge in the development of a practically successful...

dblp: Klaus Madlener

dblp.uni-trier.de

List of computer science publications by Klaus Madlener

Bibliographie - Matthias Jantzen (nee Höpner)

www.informatik.uni-hamburg.de

Bibliography Matthias Jantzen ... In Jürgen Avenhaus and Klaus Madlener, editors, Proceedings of the workshop Combinatorial Algorithms in Algebraic Structures ...

dblp: IJCAR 2004

dblp.uni-trier.de

Bibliographic content of IJCAR 2004

Bibliographie - Matthias Jantzen (geb. Höpner)

www2.informatik.uni-hamburg.de

In Jürgen Avenhaus and Klaus ... Fachbereich Informatik der Universität Kaiserslautern Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str ...

dblp: Carlos Loría-Sáenz

dblp.uni-trier.de

List of computer science publications by Carlos Loría-Sáenz

KLUEDO | Flexible Heuristic Control for Combining Automation and...

kluedo.ub.uni-kl.de

Jürgen Avenhaus: Dokumentart: Dissertation: Sprache der Veröffentlichung: Englisch: Jahr der Fertigstellung: 2006: Jahr der Veröffentlichung:

KLUEDO | Informal Proceedings of the Annual Meeting of...

kluedo.ub.uni-kl.de

This report contains a collection of abstracts for talks given at the

Distributing equational theorem proving

kluedo.ub.uni-kl.de

In this paper we show that distributing the theorem proving task to several experts is a promising idea. We describe the team work method which allows the...

Reminder and final CFP PLILP/SAS'96mailman.science.ru.nl › pipermail › clean-list

mailman.science.ru.nl

· ... Egidio Astesiano (Italy) Jürgen Avenhaus (Germany) Pierre Deransart (France) Laurent Fribourg (France) Joxan Jaffar (Singapore) Giorgio ...

LV - Detailansicht - PLUSonline - Universität Salzburg

online.uni-salzburg.at

im Semester, immanenter Prüfungscharakter. Zusatzinformationen. Empfohlene Fachliteratur, Jürgen Avenhaus: Reduktionssysteme, Springer

eKVV: WISE Termersetzungssysteme (V) - Alle Daten der...

ekvv.uni-bielefeld.de

Jürgen Avenhaus: Reduktionssysteme, Springer-Verlag Franz Baader und Tobias Nipkow: Term Rewriting and All That, Cambridge University Press

dblp: Rüdiger Göbel

dblp.dagstuhl.de

List of computer science publications by Rüdiger Göbel

Bibliography - Jantzen85a

www2.informatik.uni-hamburg.de

In Jürgen Avenhaus and Klaus Madlener, editors, Proceedings of the workshop Combinatorial Algorithms in Algebraic Structures (Otzenhausen, 1985), pages , Otzenhausen, 1985

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

Wissenschaftliche Veröffentlichungen Jürgen Avenhaus