Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG

Збережено в:
Бібліографічні деталі
Автор: Ledesma, Luis de (Автор)
Формат: Книга
Мова:Іспанська
Опубліковано: Cuernavaca Alfaomega 2010
Предмети:
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!