Ralf Treinen – författare

Visar alla böcker från författaren Ralf Treinen. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Constraints in Computational Logics: Theory and Applications

   International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

   Av Hubert Comon, Claude Marche m. fl.

   Häftad, 2001

   567 kr

   Lägg i varukorg

   Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in …

2. 

   Constraints in Computational Logics: Theory and Applications

   International Summer School, CCL''99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

   Av Ralf Treinen, Claude Marche m. fl.

   E-bok, 2003

   755 kr

   Lägg i varukorg

   Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in …

3. 

   Rewriting Techniques and Applications

   20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

   Av Ralf Treinen, Ralf Treinen

   Häftad, 2009

   551 kr

   Lägg i varukorg

   Thisvolumecontainsthepapersofthe20thInternationalConferenceonRewr- ing Techniques and Applications (RTA 2009), which was held from June 29 to July 1, 2009, in Bras' ?lia, Brazil as part of the 5th International Conference on Rewriting, Deduction, and Programming (RDP 2009) together with the Int- …

4. 

   Rewriting Techniques and Applications

   20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

   Av Ralf Treinen

   E-bok, 2009

   734 kr

   Lägg i varukorg