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).
4 Angebote vergleichen
Bester Preis: Fr. 11.74 (€ 12.00)¹ (vom 29.10.2016)1
Symbolbild
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). (1984)
DE FEISBN: 9783853695845 bzw. 3853695841, in Deutsch, Wien, VWGÖ, Erstausgabe.
Von Händler/Antiquariat, Antiquariat Deinbacher [2546502], Murstetten, Austria.
193 Seiten, Einband mit geringen Lagerspuren, ansonst sehr guter und sauberer Zustand 3853695841 Sprache: Deutsch Gewicht in Gramm: 270.
193 Seiten, Einband mit geringen Lagerspuren, ansonst sehr guter und sauberer Zustand 3853695841 Sprache: Deutsch Gewicht in Gramm: 270.
2
Symbolbild
The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An. (1984)
DE PB USISBN: 9783853695845 bzw. 3853695841, in Deutsch, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Mosakowski & Stiasny GbR [51070922], Florstadt, Germany.
193 Seiten Versand erfolgt am folgenden Werktag / mit Rechnung / unbenutzt Sprache: Deutsch.
193 Seiten Versand erfolgt am folgenden Werktag / mit Rechnung / unbenutzt Sprache: Deutsch.
3
Symbolbild
The church rosser property in computer algebra and special Theorem proving (1984)
DE PB USISBN: 9783853695845 bzw. 3853695841, in Deutsch, Wien, VWGÖ, Taschenbuch, gebraucht.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Antiquariat Deinbacher, Austria.
Broschiert, Label: Wien, VWGÖ, Wien, VWGÖ, Produktgruppe: Book, Publiziert: 1984, Studio: Wien, VWGÖ,.
Von Händler/Antiquariat, Antiquariat Deinbacher, Austria.
Broschiert, Label: Wien, VWGÖ, Wien, VWGÖ, Produktgruppe: Book, Publiziert: 1984, Studio: Wien, VWGÖ,.
4
The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical Pair Completion Algorithms (1984)
DE PB USISBN: 9783853695845 bzw. 3853695841, in Deutsch, Wien, VWGÖ, Taschenbuch, gebraucht.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, fachbuecher-weltversand.
Taschenbuch, Label: Wien, VWGÖ, Wien, VWGÖ, Produktgruppe: Book, Publiziert: 1984, Studio: Wien, VWGÖ,.
Von Händler/Antiquariat, fachbuecher-weltversand.
Taschenbuch, Label: Wien, VWGÖ, Wien, VWGÖ, Produktgruppe: Book, Publiziert: 1984, Studio: Wien, VWGÖ,.
Lade…