Directorios

Enlace: http://www.kluweronline.com/issn/0168-7433

Descripción: Kluwer Academic Publishers
«The main fields covered are automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications.»
ISSN 0168-7433