Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Збережено в:
Бібліографічні деталі
Співавтор: SpringerLink (Online service)
Інші автори: Voronkov, Andrei, Sutcliffe, Geoff
Формат: eКнига
Мова:English
Серія:Lecture Notes in Computer Science, 3835
Предмети:
Онлайн доступ:Click here to view the full text content
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!