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

Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings / eds. T. Janhunen, I. Niemelä. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 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

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