Ihre Suche ergab 14 Treffer.
Automated Deduction - CADE-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Algebraic and Logic Programming
Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage