Taschenbuch. Condition: Neu. Constraints in Computational Logics: Theory and Applications | International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures | Hubert Comon (u. a.) | Taschenbuch | xii | Englisch | 2001 | Springer | EAN 9783540419501 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Rewriting, Computation and Proof | Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday | Hubert Comon-Lundh (u. a.) | Taschenbuch | xvi | Englisch | 2007 | Springer | EAN 9783540731467 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Term Rewriting | French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course | Hubert Comon (u. a.) | Taschenbuch | viii | Englisch | 1995 | Springer | EAN 9783540593409 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Computer Aided Verification | 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings | Gerard Berry (u. a.) | Taschenbuch | xiii | Englisch | 2001 | Springer | EAN 9783540423454 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.