Полное описание

Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010: proceedings / eds. T. Janhunen, I. Niemelä ; ред. T. Janhunen. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 6341). - URL: http://dx.doi.org/10.1007/978-3-642-15675-5. - ISBN 978-3-642-15675-5. - Текст : электронный.
Рубрики:
Computer science
Software engineering
Logic design
Algebra -- Data processing
Information systems
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Mathematical logic and formal languages
Information systems applications (incl.internet)
Software engineering
Logics and meanings of programs
Symbolic and algebraic manipulation

Доп. точки доступа:
Janhunen, T.\ред.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-642-15675-5

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -413538)

Шифр в сводном ЭК: 556dfab2cf0aa02746f36a90e1333e89

Просмотр издания