„Reduktionssystem“

Suchergebnisse

1.000+ Treffer

• Extremitätenerhaltende Chirurgie in der Tumor- und Revisionsorthopädie mit modularen und silberbeschichteten Implantatsystemen
  Schmolders, Jan 2017
• Reduktionssysteme – Rechnen und Schließen in gleichungsdefinierten Strukturen
  Avenhaus, Jürgen 1995 Springer Berlin Heidelberg
• Rewriting techniques and applications – 6th international conference ; proceedings
  Hsiang, Jieh 1995 Springer
• Reduktionssysteme – Rechnen und Schliessen in gleichungsdefinierten Strukturen
  Avenhaus, Jürgen 1995 Springer
• 26th International Conference on Rewriting Techniques and Applications – RTA '15, June 29 to July 1, 2015, Warsaw, Poland
  Fernández, Maribel 2015 Schloss Dagstuhl - Leibniz-Zentrum für Informatik
• Vergleichende Untersuchung der Zellapoptose mononukleärer Zellen aus Leukozytapheresen und Leukozyten-Reduktion-System-Kammern
  Ziehe, Bettina ; Strasser, Erwin 2015 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Towards Next Generation Sequential and Parallel SAT Solvers
  Manthey, Norbert ; Hölldobler, Steffen ; Biere, Armin 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Computational complexity of graph polynomials
  Hoffmann, Christian ; Bläser, Markus 2011 Saarländische Universitäts- und Landesbibliothek
• Reduktionssysteme zur Berechnung einer Auflösung der orthogonalen freien Quantengruppen Ao(n)
  Härtel, Johannes
• Multigraded algebras and non-associative Gröbner bases
  Rajaee, Saeed
• Transmigration of object identity
  Costanza, Pascal
• Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden
  Bertol, Michael W.
• Types for Proofs and Programs – International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
  2009 Springer Berlin Heidelberg
• Rewriting Techniques and Applications – 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
  Kirchner, Claude 1993 Springer International Publishing
• Rewriting Techniques and Applications – 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings
  Bachmair, Leo 2000 Springer Berlin Heidelberg
• Term Rewriting and Applications – 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  Baader, Franz 2005 Springer Berlin Heidelberg
• Rewriting Techniques and Applications – 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings
  Treinen, Ralf 2004 Springer Berlin Heidelberg
• Rewriting techniques and applications – 20th international conference ; proceedings
  Treinen, Ralf 2009 Springer
• Rewriting techniques and applications – 19th international conference ; proceedings
  Voronkov, Andrei 2008 Springer
• Rewriting, computation and proof – essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday ; [Festschrift]
  Comon-Lundh, Hubert ; Jouannaud, Jean-Pierre 2007 Springer