1
0
0
(1 - 21 von 21
)
Preface: Volume 58, Issue 2ScienceDirect
www.sciencedirect.com
von MP Bonacina · — Ruben Gamboa, AnythingOvernight.com, Inc., Texas (USA). Bernhard Gramlich (co-chair), TU Wien (Austria). Bernd Löchner, U. Kaiserslautern (Germany).
Bernd Löchner - dblpdblp.org › Persons › Bernd Löchner
dblp.org
Jörg Denzinger, Bernd Löchner, Sebastian Scheffler: Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java.
Dept. of Computer Sci.: Completed PhDs
www.cs.uni-kl.de
Bernd Löchner: Advances in Equational Theorem Proving - Architecture, Algorithms, and Redundancy Avoidance : Mario Trapp: Modeling the Adaptation Behavior ...
FB-Informatik: Promotionen
www.informatik.uni-kl.de
Forschung Promotionen. FB-Informatik. Aktuelles; Studium; Forschung. Arbeitsgruppen; ... Bernd Löchner: Advances in Equational Theorem Proving - Architecture ...
dblp: International Journal on Artificial Intelligence Tools, Volume...
dblp.uni-trier.de
Bibliographic content of International Journal on Artificial Intelligence Tools, Volume 15
Advances in Equational Theorem Proving - Architecture, Algorithms,...
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...
Jürgen Avenhaus - DBLPdblp.uni-trier.de › Persons
dblp.uni-trier.de
· Jürgen Avenhaus, Bernd Löchner: CCE: Testing Ground Joinability.
dblp: Thomas Hillenbrand
dblp.dagstuhl.de
List of computer science publications by Thomas Hillenbrand
dblp: Advances in equational theorem proving
dblp.uni-trier.de
— Bernd Löchner: Advances in equational theorem proving: architecture, algorithms, and redundancy avoidance. Kaiserslautern University of ... › rec › phd
dblp: A Redundancy Criterion Based on Ground Reducibility by Ordered...
dblp.dagstuhl.de
Bibliographic details on A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting.
AG Formale Methoden und Deduktion
agent.informatik.uni-kl.de
Übersicht über die Veröffentlichungen der letzten Jahre. Organisation. Mitarbeiter. Prof. Dr. Jürgen Avenhaus; Judith Stengel; Bernd Löchner; Tobias Schmidt-Samoa
sortiert nach Relevanz / Datum