Programing wiht higher order-logic
Los sistemas formales que describen los cálculos sobre estructuras sintácticas son frecuentes en la informática. Programación lógica proporciona un marco natural para la codificación y la animación de este tipo de sistemas. Sin embargo, estos sistemas a menudo incorporan variables de unión, una noci...
| অন্যান্য লেখক: | , |
|---|---|
| বিন্যাস: | গ্রন্থ |
| ভাষা: | Spanish English |
| বিষয়গুলি: |