Полное описание
>
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. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6397). - URL: 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-16242-8
Просмотр издания