Mettre en vente
Se connecter
Aide
2 résultats
Program Development In Computational Logic: A Decade Of Research Advances In Logic-Based Program Development
Voir le produit
Vendez le vôtre
Logic Based Program Synthesis And Transformation: 13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers