Полное описание
> Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010: proceedings / eds.: C. G. Fermüller, A. Voronkov ; ed. C. G. Fermüller. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 6397). - URL: http://dx.doi.org/10.1007/978-3-642-17511-4, http://dx.doi.org/10.1007/978-3-642-16242-8. - ISBN 978-3-642-16242-8. - Текст : электронный.
Рубрики:
Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Software engineering
Logics and meanings of programs
Mathematical logic and formal languages
Programming techniques
Programming languages, compilers, interpreters
Доп. точки доступа:
Fermüller, C.G.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-17511-4
http://dx.doi.org/10.1007/978-3-642-16242-8
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -358715)
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -002040)>
Шифр в сводном ЭК: a1de3990eb3856e80bd12e190be28c6c
Просмотр издания
или
Просмотр издания