Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
Logic Based Program Synthesis And Transformation
13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers »
13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers »
Program Development In Computational Logic
A Decade of Research Advances in Logic-Based Program Development »
A Decade of Research Advances in Logic-Based Program Development »
