Logic programming and nonmonotonic reasoning [Electronic resource] : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings / ed. J. P. Delgrande, W. Faber. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6645). - ISBN 978-3-642-20895-9 : Б. ц.

Рубрики: Computer science
   Software engineering

   Logic design

   Computational complexity

   Artificial intelligence

   Computer science

   Artificial intelligence (incl. robotics)

   Discrete mathematics in computer science

   Logics and meanings of programs

   Mathematical logic and formal languages

   Software engineering

   Programming techniques


См. : Текст издания

Доп.точки доступа:
Delgrande, J.P. \ed.\; SpringerLink (Online service)
Свободных экз. нет