1
0
0
(1 - 26 von 28
)
bol.com: bol.com | Reduktionssysteme, Jürgen Avenhaus | | Boeken
Reduktionssysteme (paperback). Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einfuhrung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt...
DNB, Katalog der Deutschen Nationalbibliothek
portal.dnb.de
Reduktionssysteme : Rechnen und Schliessen in gleichungsdefinierten Strukturen / Jürgen Avenhaus Person(en) Avenhaus, Jürgen: Verleger: Berlin ; Heidelberg ...
AbeBooks: JURGEN AVENHAUS - AbeBooks
Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen. von Avenhaus, Jürgen: und eine große Auswahl ähnlicher Bücher, Kunst und...
InforLorV3, Main, Exploration, indexItem, Author.i, Jürgen Avenhaus
lorexplor.istex.fr
List of bibliographic references indexed by Jürgen Avenhaus ... HfdIndexSelect - h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Jürgen Avenhaus"
Rewriting Techniques and Applications: 9th International Conference,...
books.google.de
This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in...
Automated Deduction - CADE-18: 18th International Conference on...
books.google.de
Jürgen Avenhaus Leo Bachmair Peter Baumgartner Maria Paola Bonacina Li Dafa Gilles Dowek Xiao-Shan Gao Jean Goubault-Larrecq Ryuzo Hasegawa ...
Automated Reasoning: First International Joint Conference, IJCAR
books.google.de
Jürgen Avenhaus and Bernd Löchner FB Informatik, Universität Kaiserslautern, Kaiserslautern, Germany -kl.de Abstract.
Reduktionssysteme von Jürgen Avenhaus | ISBN |...
www.lehmanns.de
versandkostenfrei kaufen, auch auf Rechnung. Schnelle Lieferung bei Lehmanns
Media.
Reduktionssysteme | Jürgen Avenhaus | Softcover | ISBN...
www.isbn.de
von Jürgen Avenhaus Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt.
Automated Reasoning: Second International Joint Conference, IJCAR...
books.google.de
Jürgen Avenhaus and David Plaisted. General algorithms for permutations in equational inference. Journal of Automated Reasoning, (26):223–268,
Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten...
books.google.de
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In...
Reduktionssysteme - Rechnen und Schließen in gleichungsdefinierten...
link.springer.com
Reduktionssysteme
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 ...
Term Rewriting and All That - Franz Baader, Tobias Nipkow - Google...
books.google.lv
Jürgen Avenhaus. Reduktionssysteme. Springer-Verlag, Jürgen Avenhaus and Carlos Loría-Sáenz. Higher-order conditional rewriting and narrowing.
Studien- und Forschungsführer Informatik: Wissenschaftliche...
books.google.de
Diese dritte, vollständig aktualisierte Auflage des bewährten Studien- und Forschungsführers, der in Zusammenarbeit mit der Gesellschaft für Informatik, dem...
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 ...
An Algorithm for the Word Problem in HNN Extensions and the...
books.google.de
... for the Word Problem in HNN Extensions and the Dependence of Its Complexity on the Group Representation. Front Cover. Jürgen Avenhaus, Klaus Madlener.
On the termination of the Knuth-Bendix completion algorithm - Jürgen...
books.google.de
On the termination of the Knuth-Bendix completion algorithm. Front Cover. Jürgen Avenhaus. Fachbereich Informatik, Univ., pages.
Groups presented by finite two monadic Church-Rosser Thue systems -...
books.google.de
Groups presented by finite two-monadic Church-Rosser Thue systems. Front Cover. Jürgen Avenhaus, Klaus Madlener, Friedrich Otto. Univ., pages.
Publications: Thesis
domino.mpi-inf.mpg.de
1. Referee: Priv. Doz. Dr. Hans Jürgen Ohlbach. 2. Referee: Prof. Dr. Jürgen Avenhaus. Supervisor: Priv. Doz. Dr. Hans Jürgen Ohlbach. Status: Completed.
String matching and algorithmic problems in free groups - Jürgen...
books.google.de
String matching and algorithmic problems in free groups. Front Cover. Jürgen Avenhaus, Klaus Madlener. Fachbereich Informatik, Univ. Kaiserslautern,
Zur numerischen Behandlung des Anfangswertproblems mit exakter...
books.google.de
Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung. Front Cover. Jürgen Avenhaus. Fotodruck Rudolf Rodenbusch,
Reduktionssysteme: Rechnen und Schließen in Chapters/Indigowww.chapters.indigo.ca › en-ca › books › item
www.chapters.indigo.ca
· Buy the Paperback Book Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen by Jürgen Avenhaus at Indigo.ca, ...
sortiert nach Relevanz / Datum