Полное описание
>
Logic for programming, artificial intelligence, and reasoning : 16th International conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010: revised selected papers / eds. E. M. Clarke, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6355). - URL: http://dx.doi.org/10.1007/978-3-642-17511-4. - ISBN 978-3-642-17511-4.
Рубрики:
Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Programming techniques
Software engineering
Logics and meanings of programs
Mathematical logic and formal languages
Programming languages, compilers, interpreters
Доп. точки доступа:
Clarke, E.M.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-642-17511-4
Просмотр издания