|
Вид документа : Монографическая серия Шифр издания : 510.6(063)/L85-251982
Заглавие : Logic for programming, artificial intelligence, and reasoning [Electronic resource]
: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005 Коллективы :
SpringerLink (Online service) Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3835
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31650-3: Б.ц.
ГРНТИ : 27.03.19 + 50.05.13 + 28.23 УДК : 510(063) + 004.42(063) + 004.8(063) Предметные рубрики: Математическая логика-- Съезды и конференции Программирование для ЭВМ-- Съезды и конференции Искусственный интеллект-- Съезды и конференции
См. : Текст издания Доп.точки доступа: Sutcliffe, G. \ed.\; SpringerLink (Online service)
|
|