Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | испанский |
| Опубликовано: |
Cuernavaca
Alfaomega
2010
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Ваш комментарий будет первым!