The church rosser property in computer algebra and special Theorem proving - An investigation of critical pair, completion algorithms. (= Dissertationen der Johannes-Kepler-Universität, 49). - Winkler, Franz
Marktplatzangebote
Gebraucht bestellen
2 Angebote ab € 12,00 €
  • Buch

Produktdetails
  • Verlag: Wien, VWGÖ
  • ISBN-13: 9783853695845
  • ISBN-10: 3853695841
  • Artikelnr.: 24977816